Alan is colored blue and red. He is also kind and cold to the touch. Bob always goes out of his way to show that he is kind to people. Eric realized he was round and rough, and he decided to be nice and kind as well. Fred was born only a few years ago so he is young. All people that are rough and cold, as well as nice will be kind if you talk to them. Young and nice people have great big smiles. Look for the blue and green people, they are kind and will give you directions if you're lost. Rough and kind people are big. Nice people who are big are always feeling blue. Blue people who are rough are often young.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is young.
True
1
proof
[(triple10)]
("Fred" "is" "young" "+")
triple10
Eric is not kind.
False
1
inv-proof
[(triple9)]
("Eric" "is" "kind" "-")
triple9
Eric is big.
True
3
proof
[(((triple7 triple9) -> rule4))]
("Eric" "is" "big" "+")
((triple7 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple7 triple9) -> rule4))]
("Eric" "is" "big" "-")
((triple7 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
True
5
proof
[(((triple8 ((triple7 triple9) -> rule4)) -> rule5))]
("Eric" "is" "blue" "+")
((triple8 ((triple7 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((triple8 ((triple7 triple9) -> rule4)) -> rule5))]
("Eric" "is" "blue" "-")
((triple8 ((triple7 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
True
7
proof
[(((triple7 ((triple8 ((triple7 triple9) -> rule4)) -> rule5)) -> rule6))]
("Eric" "is" "young" "+")
((triple7 ((triple8 ((triple7 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not young.
False
7
inv-proof
[(((triple7 ((triple8 ((triple7 triple9) -> rule4)) -> rule5)) -> rule6))]
("Eric" "is" "young" "-")
((triple7 ((triple8 ((triple7 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is kind.[(triple5)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Fred is young.[(triple10)] @1: Eric is big.[(((triple7 triple9) -> rule4))] @2: Eric is blue.[(((triple8 ((triple7 triple9) -> rule4)) -> rule5))] @3: Eric is young.[(((triple7 ((triple8 ((triple7 triple9) -> rule4)) -> rule5)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple10
Eric is big.
("Eric" "is" "big" "+")
((triple7 triple9) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple8 ((triple7 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple7 ((triple8 ((triple7 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Alan is colored blue and red; He is also kind and cold to the touch.
Bob always goes out of his way to show that he is kind to people.
Eric realized he was round and rough, and he decided to be nice and kind as well.
Fred was born only a few years ago so he is young.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Young and nice people have great big smiles.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Rough and kind people are big.
Nice people who are big are always feeling blue.
Blue people who are rough are often young.