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.
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.