Bob is a very rough person. As expected, he's also a very cold and big individual. Dave wears all blue. Gary is a nice guy who is rather round and looking green,  Because he is also rather cold he is feeling blue. Even though Harry is big and round, he is cold much of the time. A cold temperatured and green colored person who is also big will be young. If the description of nice and green applies to somebody, the description of young will, too. A kind person who is big in size is definitely young. Kind people who are blue with sadness and cold toward others are surprisingly red. Young people that are nice and green tend to be blue. A kind, young human will also be a blue human. A person who is young and cold and green is kind.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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 big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Gary is young.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "young" "-")
((triple7 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
True
6
proof
[(((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7))]
("Gary" "is" "kind" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not kind.
False
6
inv-proof
[(((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7))]
("Gary" "is" "kind" "-")
((triple7 ((triple7 triple6) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
True
9
proof
[(((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) triple9) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 triple6) -> rule2) triple6 triple7) -> rule5)) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((triple7 triple6) -> rule2)) -> rule6)) -> rule4))]
("Gary" "is" "red" "+")
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int3)) triple8) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 triple6) -> (rule2 % int4)) triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple7 triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not red.
False
9
inv-proof
[(((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) triple9) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 triple6) -> rule2) triple6 triple7) -> rule5)) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((triple7 triple6) -> rule2)) -> rule6)) -> rule4))]
("Gary" "is" "red" "-")
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int3)) triple8) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 triple6) -> (rule2 % int4)) triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple7 triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple4)] Gary is blue.[(triple9 OR ((((triple7 triple6) -> rule2) triple6 triple7) -> rule5) OR ((((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((triple7 triple6) -> rule2)) -> rule6))] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is round.[(triple10)] @1: Gary is young.[(((triple7 triple6) -> rule2))] @2: Gary is kind.[(((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7))] @3: Gary is red.[(((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) triple9) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 triple6) -> rule2) triple6 triple7) -> rule5)) -> rule4) OR ((triple8 ((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((((triple7 ((triple7 triple6) -> rule2) triple8) -> rule7) ((triple7 triple6) -> rule2)) -> rule6)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
((((triple7 triple6) -> (rule2 % int2)) triple6 triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple7 ((triple7 triple6) -> (rule2 % int3)) triple8) -> (rule7 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int3)) triple8) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 triple6) -> (rule2 % int4)) triple6 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple8 ((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((((triple7 ((triple7 triple6) -> (rule2 % int4)) triple8) -> (rule7 % int3)) ((triple7 triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Bob is a very rough person; As expected, he's also a very cold and big individual.
Dave wears all blue.
Gary is a nice guy who is rather round and looking green,  Because he is also rather cold he is feeling blue.
Even though Harry is big and round, he is cold much of the time.
A cold temperatured and green colored person who is also big will be young.
If the description of nice and green applies to somebody, the description of young will, too.
A kind person who is big in size is definitely young.
Kind people who are blue with sadness and cold toward others are surprisingly red.
Young people that are nice and green tend to be blue.
A kind, young human will also be a blue human.
A person who is young and cold and green is kind.