Alan is a very kind, green but sometimes cold person. Bob wears all blue. Charlie who is big in stature is almost always nice even when he is cold. Because someone is green and kind they are extremely nice to people. A rather round and big person will be kind, but also blue. Julie is really nice to gardeners since she has a green thumb. A person who is green and kind is usually rather big. A person that is the color red will definitely be round shaped. A blue and green colored person will be round in shape. Someone who happens to be cold and green and big all at once must also be round in shape.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Bob is not blue.
False
1
inv-proof
[(triple4)]
("Bob" "is" "blue" "-")
triple4
Alan is big.
True
3
proof
[(((triple2 triple1) -> rule4))]
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Alan" "is" "nice" "-")
((triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
True
6
proof
[(((triple3 triple2 ((triple2 triple1) -> rule4)) -> rule7))]
("Alan" "is" "round" "+")
((triple3 triple2 ((triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((triple6 ((triple5) -> rule3) triple7) -> rule7))]
("Charlie" "is" "round" "-")
((triple6 ((triple5) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Alan is blue.
True
11
proof
[(((((triple3 triple2 ((triple2 triple1) -> rule4)) -> rule7) triple1 ((triple2 triple1) -> rule4)) -> rule2))]
("Alan" "is" "blue" "+")
((((triple3 triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple1 ((triple2 triple1) -> (rule4 % int3))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not blue.
False
11
inv-proof
[(((((triple3 triple2 ((triple2 triple1) -> rule4)) -> rule7) triple1 ((triple2 triple1) -> rule4)) -> rule2))]
("Alan" "is" "blue" "-")
((((triple3 triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple1 ((triple2 triple1) -> (rule4 % int3))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple4)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is nice.[(triple5)] @1: Alan is big.[(((triple2 triple1) -> rule4))] Alan is nice.[(((triple2 triple1) -> rule1))] Charlie is green.[(((triple5) -> rule3))] @2: Alan is round.[(((triple3 triple2 ((triple2 triple1) -> rule4)) -> rule7))] Charlie is round.[(((triple6 ((triple5) -> rule3) triple7) -> rule7))] @3: Alan is blue.[(((((triple3 triple2 ((triple2 triple1) -> rule4)) -> rule7) triple1 ((triple2 triple1) -> rule4)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple3 triple2 ((triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 ((triple5) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple2 ((triple2 triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple1 ((triple2 triple1) -> (rule4 % int3))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is a very kind, green but sometimes cold person.
Bob wears all blue.
Charlie who is big in stature is almost always nice even when he is cold.
Because someone is green and kind they are extremely nice to people.
A rather round and big person will be kind, but also blue.
Julie is really nice to gardeners since she has a green thumb.
A person who is green and kind is usually rather big.
A person that is the color red will definitely be round shaped.
A blue and green colored person will be round in shape.
Someone who happens to be cold and green and big all at once must also be round in shape.