Alan is a big, young boy who is very kind.  He stands out because his skin is blue and green. Young Bob is wearing green pants. Charlie ate some rotten meat and now feels green. Harry gets red when he is mad and tends to act very cold. A cold, rough person is also round. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. A big, blue person who is kind is also round. A young and kind person with red rosy skin is cold. If a person has round shape then they are also green and red.
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is round.
True
4
proof
[(((triple4 triple2 triple5) -> rule3))]
("Alan" "is" "round" "+")
((triple4 triple2 triple5) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule3))]
("Alan" "is" "round" "-")
((triple4 triple2 triple5) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
True
6
proof
[(((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5))]
("Alan" "is" "red" "+")
((triple3 ((triple4 triple2 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not red.
False
6
inv-proof
[(((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5))]
("Alan" "is" "red" "-")
((triple3 ((triple4 triple2 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
True
9
proof
[(((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5)) -> rule4))]
("Alan" "is" "cold" "+")
((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not cold.
False
9
inv-proof
[(((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5)) -> rule4))]
("Alan" "is" "cold" "-")
((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Bob is young.[(triple6)] Charlie is green.[(triple8)] Harry is cold.[(triple10)] Harry is red.[(triple9)] @1: Alan is round.[(((triple4 triple2 triple5) -> rule3))] @2: Alan is red.[(((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5))] @3: Alan is cold.[(((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> rule3)) -> rule5)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Alan is round.
("Alan" "is" "round" "+")
((triple4 triple2 triple5) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple3 ((triple4 triple2 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple2 ((triple3 ((triple4 triple2 triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is a big, young boy who is very kind; He stands out because his skin is blue and green.
Young Bob is wearing green pants.
Charlie ate some rotten meat and now feels green.
Harry gets red when he is mad and tends to act very cold.
A cold, rough person is also round.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
A big, blue person who is kind is also round.
A young and kind person with red rosy skin is cold.
If a person has round shape then they are also green and red.