Bob is a young and nice man, and he is also very big shaped. Dave is very nice to people, but he's also rather big. Fred has a round face and is very nice. Gary is nice, even when he is rough and red with anger. Because someone is green and kind they are extremely nice to people. Big, young people feel cold all the time. People that are big and cold are blue as well. Get out of the way if a red and green person walks up to you because they are rough. Blue, young and round people are usually big. A big and blue colored person is also certainly very kind. It is impossible for a nice person who is blue and red not to be rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Bob is cold.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "cold" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "cold" "-")
((triple1 triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
True
5
proof
[(((triple3 ((triple1 triple3) -> rule2)) -> rule3))]
("Bob" "is" "blue" "+")
((triple3 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((triple3 ((triple1 triple3) -> rule2)) -> rule3))]
("Bob" "is" "blue" "-")
((triple3 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
True
7
proof
[(((((triple3 ((triple1 triple3) -> rule2)) -> rule3) triple3) -> rule6))]
("Bob" "is" "kind" "+")
((((triple3 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not kind.
False
7
inv-proof
[(((((triple3 ((triple1 triple3) -> rule2)) -> rule3) triple3) -> rule6))]
("Bob" "is" "kind" "-")
((((triple3 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] @1: Bob is cold.[(((triple1 triple3) -> rule2))] @2: Bob is blue.[(((triple3 ((triple1 triple3) -> rule2)) -> rule3))] @3: Bob is kind.[(((((triple3 ((triple1 triple3) -> rule2)) -> rule3) triple3) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3 ((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is a young and nice man, and he is also very big shaped.
Dave is very nice to people, but he's also rather big.
Fred has a round face and is very nice.
Gary is nice, even when he is rough and red with anger.
Because someone is green and kind they are extremely nice to people.
Big, young people feel cold all the time.
People that are big and cold are blue as well.
Get out of the way if a red and green person walks up to you because they are rough.
Blue, young and round people are usually big.
A big and blue colored person is also certainly very kind.
It is impossible for a nice person who is blue and red not to be rough.