Alan is so big, he is often blue, but always kind. Big Charlie is very nice. Though he is rough and cold he is green and still learning. Fred ate some rotten meat and now feels green. Young Harry is wearing green pants. A big young person that is green will be cold to others. When someone is young, they can be cold but kind. Like a blueberry, a big blue person is round as anything. Big people with round and somewhat red faces will have rough skin. Blue people round with fat are red from too much time in the sun. Young people that are nice and green tend to be blue.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Alan is kind.
True
1
proof
[(triple1)]
("Alan" "is" "kind" "+")
triple1
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Alan is round.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "round" "-")
((triple2 triple3) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
True
5
proof
[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))]
("Alan" "is" "red" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not red.
False
5
inv-proof
[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))]
("Alan" "is" "red" "-")
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
True
10
proof
[(((triple3 ((triple2 triple3) -> rule3) ((triple2 ((triple2 triple3) -> rule3)) -> rule5)) -> rule4))]
("Alan" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not rough.
False
10
inv-proof
[(((triple3 ((triple2 triple3) -> rule3) ((triple2 ((triple2 triple3) -> rule3)) -> rule5)) -> rule4))]
("Alan" "is" "rough" "-")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is kind.[(triple1)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Fred is green.[(triple9)] Harry is green.[(triple11)] Harry is young.[(triple10)] @1: Alan is round.[(((triple2 triple3) -> rule3))] @2: Alan is red.[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))] @3: Alan is rough.[(((triple3 ((triple2 triple3) -> rule3) ((triple2 ((triple2 triple3) -> rule3)) -> rule5)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule3 % int3)) ((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is so big, he is often blue, but always kind.
Big Charlie is very nice; Though he is rough and cold he is green and still learning.
Fred ate some rotten meat and now feels green.
Young Harry is wearing green pants.
A big young person that is green will be cold to others.
When someone is young, they can be cold but kind.
Like a blueberry, a big blue person is round as anything.
Big people with round and somewhat red faces will have rough skin.
Blue people round with fat are red from too much time in the sun.
Young people that are nice and green tend to be blue.