Bob wears all blue. Eric was born only a few years ago so he is young. Gary is red when he is rough and blue when he is kind. Even though Harry is big and round, he is cold much of the time. Red and green people that are nice are cold to strangers. A cold, rough person is also round. Someone who is round in shape and green in color is usually cold. Red, big people can't help but be round as well. Looking blue can be a sign that someone is cold. Generally, round and kind people are big. A kind person who look green and is round in shape is usually big in stature.
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Harry is cold.
True
1
proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Gary is not kind.
False
1
inv-proof
[(triple5)]
("Gary" "is" "kind" "-")
triple5
Bob is cold.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple6) -> rule5))]
("Gary" "is" "cold" "-")
((triple6) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
True
4
proof
[(((triple3 ((triple6) -> rule5)) -> rule2))]
("Gary" "is" "round" "+")
((triple3 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not round.
False
4
inv-proof
[(((triple3 ((triple6) -> rule5)) -> rule2))]
("Gary" "is" "round" "-")
((triple3 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
True
6
proof
[(((((triple3 ((triple6) -> rule5)) -> rule2) triple5) -> rule6))]
("Gary" "is" "big" "+")
((((triple3 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not big.
False
6
inv-proof
[(((((triple3 ((triple6) -> rule5)) -> rule2) triple5) -> rule6))]
("Gary" "is" "big" "-")
((((triple3 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Eric is young.[(triple2)] Gary is blue.[(triple6)] Gary is kind.[(triple5)] Gary is red.[(triple4)] Gary is rough.[(triple3)] Harry is big.[(triple9)] Harry is cold.[(triple8)] Harry is round.[(triple7)] @1: Bob is cold.[(((triple1) -> rule5))] Gary is cold.[(((triple6) -> rule5))] @2: Gary is round.[(((triple3 ((triple6) -> rule5)) -> rule2))] @3: Gary is big.[(((((triple3 ((triple6) -> rule5)) -> rule2) triple5) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple3 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob wears all blue.
Eric was born only a few years ago so he is young.
Gary is red when he is rough and blue when he is kind.
Even though Harry is big and round, he is cold much of the time.
Red and green people that are nice are cold to strangers.
A cold, rough person is also round.
Someone who is round in shape and green in color is usually cold.
Red, big people can't help but be round as well.
Looking blue can be a sign that someone is cold.
Generally, round and kind people are big.
A kind person who look green and is round in shape is usually big in stature.