Big Bob is still young so it's easy for him to be kind. Even though Eric is big and round, he is cold much of the time. Gary is round shaped and green colored. Harry wears all blue. Young round blue people are also big people. Red, big people can't help but be round as well. Rough people who are nice and have green thumbs are almost always young. Round, young folks tend to feel blue. Blue people round with fat are red from too much time in the sun. A blue and green colored person will be round in shape. Those who are round and cold are young.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple8)]
("Gary" "is" "green" "+")
triple8
Bob is not big.
False
1
inv-proof
[(triple3)]
("Bob" "is" "big" "-")
triple3
Eric is young.
True
3
proof
[(((triple5 triple4) -> rule7))]
("Eric" "is" "young" "+")
((triple5 triple4) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple5 triple4) -> rule7))]
("Eric" "is" "young" "-")
((triple5 triple4) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
True
5
proof
[(((triple4 ((triple5 triple4) -> rule7)) -> rule4))]
("Eric" "is" "blue" "+")
((triple4 ((triple5 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((triple4 ((triple5 triple4) -> rule7)) -> rule4))]
("Eric" "is" "blue" "-")
((triple4 ((triple5 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
True
7
proof
[(((((triple4 ((triple5 triple4) -> rule7)) -> rule4) triple4) -> rule5))]
("Eric" "is" "red" "+")
((((triple4 ((triple5 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not red.
False
7
inv-proof
[(((((triple4 ((triple5 triple4) -> rule7)) -> rule4) triple4) -> rule5))]
("Eric" "is" "red" "-")
((((triple4 ((triple5 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not round.
Unknown
inv-rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@3: Harry is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Eric is big.[(triple6 OR ((triple4 ((triple4 ((triple5 triple4) -> rule7)) -> rule4) ((triple5 triple4) -> rule7)) -> rule1))] Eric is cold.[(triple5)] Eric is round.[(triple4)] Gary is green.[(triple8)] Gary is round.[(triple7)] Harry is blue.[(triple9)] @1: Eric is young.[(((triple5 triple4) -> rule7))] @2: Eric is blue.[(((triple4 ((triple5 triple4) -> rule7)) -> rule4))] @3: Eric is red.[(((((triple4 ((triple5 triple4) -> rule7)) -> rule4) triple4) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
((triple4 ((triple4 ((triple5 triple4) -> (rule7 % int3))) -> (rule4 % int2)) ((triple5 triple4) -> (rule7 % int3))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple4) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 ((triple5 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple4 ((triple5 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Big Bob is still young so it's easy for him to be kind.
Even though Eric is big and round, he is cold much of the time.
Gary is round shaped and green colored.
Harry wears all blue.
Young round blue people are also big people.
Red, big people can't help but be round as well.
Rough people who are nice and have green thumbs are almost always young.
Round, young folks tend to feel blue.
Blue people round with fat are red from too much time in the sun.
A blue and green colored person will be round in shape.
Those who are round and cold are young.