Bob fits the description of someone who is rough, red and blue. Gary is a nice person who is red because he has a rash. Harry's a young guy. He's a cold, blue and big guy, too. A very kind and green colored person, who is also cold, will be nice. Any human being with green, big, kind eyes, also has round eyes. Big and cold people are likely to be round, too. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. A young, cold person is often blue. It's just a fact that a blue person is a kind person.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Harry is kind.
True
2
proof
[(((triple8) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule6))]
("Harry" "is" "kind" "+")
((triple8) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple7 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not round.
False
3
inv-proof
[(((triple9 triple7) -> rule3))]
("Harry" "is" "round" "-")
((triple9 triple7) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
True
6
proof
[(((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4))]
("Harry" "is" "green" "+")
((triple7 triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple7 triple6) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not green.
False
6
inv-proof
[(((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4))]
("Harry" "is" "green" "-")
((triple7 triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple7 triple6) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
True
10
proof
[(((((triple8) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((triple8) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1))]
("Harry" "is" "nice" "+")
((((triple8) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule6 % int5)) ((triple7 ((triple7 triple6) -> (rule5 % int4)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 triple6) -> (rule5 % int5)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not nice.
False
10
inv-proof
[(((((triple8) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((triple8) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1))]
("Harry" "is" "nice" "-")
((((triple8) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule6 % int5)) ((triple7 ((triple7 triple6) -> (rule5 % int4)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 triple6) -> (rule5 % int5)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Bob is blue.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Gary is nice.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple9)] Harry is blue.[(triple8 OR ((triple7 triple6) -> rule5))] Harry is cold.[(triple7)] Harry is young.[(triple6)] @1: Bob is kind.[(((triple3) -> rule6))] Harry is kind.[(((triple8) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule6))] Harry is round.[(((triple9 triple7) -> rule3))] @2: Harry is green.[(((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4))] @3: Harry is nice.[(((((triple8) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((triple8) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple7 triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple7 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple7) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple7 triple6) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple8) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule6 % int5)) ((triple7 ((triple7 triple6) -> (rule5 % int4)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7 triple6) -> (rule5 % int5))) -> (rule6 % int4)) ((triple7 ((triple7 triple6) -> (rule5 % int5)) ((triple9 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Bob fits the description of someone who is rough, red and blue.
Gary is a nice person who is red because he has a rash.
Harry's a young guy; He's a cold, blue and big guy, too.
A very kind and green colored person, who is also cold, will be nice.
Any human being with green, big, kind eyes, also has round eyes.
Big and cold people are likely to be round, too.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
A young, cold person is often blue.
It's just a fact that a blue person is a kind person.