Alan is blue and cold. Dave has a round face and is very nice. Eric always goes out of his way to show that he is kind to people. Fred is a red fellow who habitually looks blue. He's often cold. A big person who also feels blue and a bit green are usually wearing red. Blue and red people are often rough. A rough, blue person is often said to be nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A person who exhibits nice, kind and cold characteristics will also be a rough person. When someone is kind and their cheeks flame red with embarrassment I know that they are young. If someone happens to be cold and rough, they wont be nice and live green lifestyle.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("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 nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Alan is cold.
True
1
proof
[(triple1)]
("Alan" "is" "cold" "+")
triple1
Fred is not red.
False
1
inv-proof
[(triple6)]
("Fred" "is" "red" "-")
triple6
Fred is rough.
True
3
proof
[(((triple8 triple6) -> rule2))]
("Fred" "is" "rough" "+")
((triple8 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple8 triple6) -> rule2))]
("Fred" "is" "rough" "-")
((triple8 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
True
5
proof
[(((triple8 ((triple8 triple6) -> rule2)) -> rule3))]
("Fred" "is" "nice" "+")
((triple8 ((triple8 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple8 ((triple8 triple6) -> rule2)) -> rule3))]
("Fred" "is" "nice" "-")
((triple8 ((triple8 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
True
7
proof
[(((((triple8 ((triple8 triple6) -> rule2)) -> rule3) triple6) -> rule4))]
("Fred" "is" "kind" "+")
((((triple8 ((triple8 triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not green.
False
10
inv-proof
[(((triple7 ((triple8 ((triple8 triple6) -> rule2)) -> rule3) ((triple8 triple6) -> rule2)) -> rule7))]
("Fred" "is" "green" "-")
((triple7 ((triple8 ((triple8 triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule2 % int3))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is young.
True
9
proof
[(((((((triple8 ((triple8 triple6) -> rule2)) -> rule3) triple6) -> rule4) triple6) -> rule6))]
("Fred" "is" "young" "+")
((((((triple8 ((triple8 triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not young.
False
9
inv-proof
[(((((((triple8 ((triple8 triple6) -> rule2)) -> rule3) triple6) -> rule4) triple6) -> rule6))]
("Fred" "is" "young" "-")
((((((triple8 ((triple8 triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Alan is not green.
Unknown
inv-rconc
[@4: Alan is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule2 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Eric is kind.[(triple5)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6)] @1: Fred is rough.[(((triple8 triple6) -> rule2))] @2: Fred is nice.[(((triple8 ((triple8 triple6) -> rule2)) -> rule3))] @3: Fred is green.[(((triple7 ((triple8 ((triple8 triple6) -> rule2)) -> rule3) ((triple8 triple6) -> rule2)) -> rule7))] Fred is kind.[(((((triple8 ((triple8 triple6) -> rule2)) -> rule3) triple6) -> rule4))] @4: Fred is young.[(((((((triple8 ((triple8 triple6) -> rule2)) -> rule3) triple6) -> rule4) triple6) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 ((triple8 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple7 ((triple8 ((triple8 triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule2 % int3))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((triple8 ((triple8 triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((((triple8 ((triple8 triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Alan is blue and cold.
Dave has a round face and is very nice.
Eric always goes out of his way to show that he is kind to people.
Fred is a red fellow who habitually looks blue; He's often cold.
A big person who also feels blue and a bit green are usually wearing red.
Blue and red people are often rough.
A rough, blue person is often said to be nice.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.