Bob, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Fred is young and kind.  But he plays really rough with his friends. Gary is a kind and red colored guy. When you meet someone round, blue and nice they are as a rule rough. Cold, rough people are always green. A rough and round person is also a big person. All the kind people in blue were young. A person with a round body will be feeling very cold and will be rough to handle. When a round individual is nice to others, they are also feeling blue. Whenever someone is kind as well as round and cold, they will definitely be blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Bob is blue.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Bob" "is" "blue" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Bob" "is" "blue" "-")
((triple1 triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
True
5
proof
[(((((triple1 triple2) -> rule6) triple3) -> rule4))]
("Bob" "is" "young" "+")
((((triple1 triple2) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not rough.
False
6
inv-proof
[(((((triple1 triple2) -> rule6) triple2 triple1) -> rule1))]
("Bob" "is" "rough" "-")
((((triple1 triple2) -> (rule6 % int2)) triple2 triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
True
8
proof
[(((triple1 ((((triple1 triple2) -> rule6) triple2 triple1) -> rule1)) -> rule3))]
("Bob" "is" "big" "+")
((triple1 ((((triple1 triple2) -> (rule6 % int3)) triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not big.
False
8
inv-proof
[(((triple1 ((((triple1 triple2) -> rule6) triple2 triple1) -> rule1)) -> rule3))]
("Bob" "is" "big" "-")
((triple1 ((((triple1 triple2) -> (rule6 % int3)) triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Fred is kind.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Gary is kind.[(triple9)] Gary is red.[(triple8)] @1: Bob is blue.[(((triple1 triple2) -> rule6))] @2: Bob is rough.[(((((triple1 triple2) -> rule6) triple2 triple1) -> rule1))] Bob is young.[(((((triple1 triple2) -> rule6) triple3) -> rule4))] @3: Bob is big.[(((triple1 ((((triple1 triple2) -> rule6) triple2 triple1) -> rule1)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1 triple2) -> (rule6 % int2)) triple2 triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple1 triple2) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((((triple1 triple2) -> (rule6 % int3)) triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Fred is young and kind; But he plays really rough with his friends.
Gary is a kind and red colored guy.
When you meet someone round, blue and nice they are as a rule rough.
Cold, rough people are always green.
A rough and round person is also a big person.
All the kind people in blue were young.
A person with a round body will be feeling very cold and will be rough to handle.
When a round individual is nice to others, they are also feeling blue.
Whenever someone is kind as well as round and cold, they will definitely be blue.