Big, red Bob is quite kind. Charlie has a round face and is very nice. Fred is big and dresses in blue. When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Big people who are red in color are often nice. A nice, big person that is red is usually young. A nice person who is always seen to be wearing green clothes will be rather big in size. Someone who is young and nice is often round. Big, blue people are red. A cold, red, kind soul will also prove to be nice.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Gary is cold.
True
1
proof
[(triple10)]
("Gary" "is" "cold" "+")
triple10
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Bob is nice.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is nice.
True
5
proof
[(((triple7 ((triple6 triple7) -> rule5)) -> rule1))]
("Fred" "is" "nice" "+")
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple7 ((triple6 triple7) -> rule5)) -> rule1))]
("Fred" "is" "nice" "-")
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Bob is round.
True
10
proof
[(((((((triple3 triple1) -> rule1) triple1 triple3) -> rule2) ((triple3 triple1) -> rule1)) -> rule4))]
("Bob" "is" "round" "+")
((((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not round.
False
10
inv-proof
[(((((((triple3 triple1) -> rule1) triple1 triple3) -> rule2) ((triple3 triple1) -> rule1)) -> rule4))]
("Bob" "is" "round" "-")
((((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is round.
True
16
proof
[(((((((triple7 ((triple6 triple7) -> rule5)) -> rule1) ((triple6 triple7) -> rule5) triple7) -> rule2) ((triple7 ((triple6 triple7) -> rule5)) -> rule1)) -> rule4))]
("Fred" "is" "round" "+")
((((((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3)) ((triple6 triple7) -> (rule5 % int4)) triple7) -> (rule2 % int2)) ((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not round.
False
16
inv-proof
[(((((((triple7 ((triple6 triple7) -> rule5)) -> rule1) ((triple6 triple7) -> rule5) triple7) -> rule2) ((triple7 ((triple6 triple7) -> rule5)) -> rule1)) -> rule4))]
("Fred" "is" "round" "-")
((((((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3)) ((triple6 triple7) -> (rule5 % int4)) triple7) -> (rule2 % int2)) ((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not round.
Unknown
inv-rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] @1: Bob is nice.[(((triple3 triple1) -> rule1))] Fred is red.[(((triple6 triple7) -> rule5))] @2: Bob is young.[(((((triple3 triple1) -> rule1) triple1 triple3) -> rule2))] Fred is nice.[(((triple7 ((triple6 triple7) -> rule5)) -> rule1))] @3: Bob is round.[(((((((triple3 triple1) -> rule1) triple1 triple3) -> rule2) ((triple3 triple1) -> rule1)) -> rule4))] Fred is young.[(((((triple7 ((triple6 triple7) -> rule5)) -> rule1) ((triple6 triple7) -> rule5) triple7) -> rule2))] @4: Fred is round.[(((((((triple7 ((triple6 triple7) -> rule5)) -> rule1) ((triple6 triple7) -> rule5) triple7) -> rule2) ((triple7 ((triple6 triple7) -> rule5)) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple7) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple3 triple1) -> (rule1 % int2)) triple1 triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((triple7 ((triple6 triple7) -> (rule5 % int3))) -> (rule1 % int2)) ((triple6 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3)) ((triple6 triple7) -> (rule5 % int4)) triple7) -> (rule2 % int2)) ((triple7 ((triple6 triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Big, red Bob is quite kind.
Charlie has a round face and is very nice.
Fred is big and dresses in blue.
When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Big people who are red in color are often nice.
A nice, big person that is red is usually young.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Someone who is young and nice is often round.
Big, blue people are red.
A cold, red, kind soul will also prove to be nice.