To the touch Alan has rough, cold skin. When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Fred is so young and darling he is kind to all the old people on the block. In the snow sits Gary, crying from being cold. People with red hair, rough skin and big teeth manage to be nice to people. A kind, young person will be rough textured. A rough, blue person is often said to be nice. A person with a rough quality is also a person with a blue quality. People who are big and kind and feel down and blue tend to have rough skin. A young person who is red a kind is also usually big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is big and red and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fred is young.
True
1
proof
[(triple5)]
("Fred" "is" "young" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Charlie is blue.
True
2
proof
[(((triple3) -> rule4))]
("Charlie" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("Alan" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule3))]
("Alan" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is not blue.
False
4
inv-proof
[(((((triple5 triple6) -> rule2)) -> rule4))]
("Fred" "is" "blue" "-")
((((triple5 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
True
8
proof
[(((((((triple5 triple6) -> rule2)) -> rule4) ((triple5 triple6) -> rule2)) -> rule3))]
("Fred" "is" "nice" "+")
((((((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not nice.
False
8
inv-proof
[(((((((triple5 triple6) -> rule2)) -> rule4) ((triple5 triple6) -> rule2)) -> rule3))]
("Fred" "is" "nice" "-")
((((((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "big" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Fred is kind.[(triple6)] Fred is young.[(triple5)] Gary is cold.[(triple7)] @1: Alan is blue.[(((triple1) -> rule4))] Charlie is blue.[(((triple3) -> rule4))] Fred is rough.[(((triple5 triple6) -> rule2))] @2: Alan is nice.[(((((triple1) -> rule4) triple1) -> rule3))] Charlie is nice.[(((((triple3) -> rule4) triple3) -> rule3))] Fred is blue.[(((((triple5 triple6) -> rule2)) -> rule4))] @3: Fred is nice.[(((((((triple5 triple6) -> rule2)) -> rule4) ((triple5 triple6) -> rule2)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple5 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
To the touch Alan has rough, cold skin.
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
Fred is so young and darling he is kind to all the old people on the block.
In the snow sits Gary, crying from being cold.
People with red hair, rough skin and big teeth manage to be nice to people.
A kind, young person will be rough textured.
A rough, blue person is often said to be nice.
A person with a rough quality is also a person with a blue quality.
People who are big and kind and feel down and blue tend to have rough skin.
A young person who is red a kind is also usually big.