Bob, a green man, was also big, but underneath he was kind. Being young, Charlie is still green and blue. Fred is fat; so he appears big and round.  Fred is also nice and kind to everyone that he meets. Young and nice people have great big smiles. Someone can be very nice and kind, and this means they are also green. People that feel green are cold to people that try to help them. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Big and cold people are likely to be round, too. Someone who's young and frosty cold are actually very nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Fred is nice.
True
1
proof
[(triple8)]
("Fred" "is" "nice" "+")
triple8
Fred is not round.
False
1
inv-proof
[(triple7 OR ((triple10 ((((triple8 triple9) -> rule2)) -> rule3)) -> rule5))]
("Fred" "is" "round" "-")
triple7
((triple10 ((((triple8 triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Bob is cold.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple5) -> rule3))]
("Charlie" "is" "cold" "-")
((triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fred is cold.
True
4
proof
[(((((triple8 triple9) -> rule2)) -> rule3))]
("Fred" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple4 ((triple5) -> rule3)) -> rule6))]
("Charlie" "is" "nice" "-")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
True
6
proof
[(((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1))]
("Charlie" "is" "big" "+")
((triple4 ((triple4 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not big.
False
6
inv-proof
[(((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1))]
("Charlie" "is" "big" "-")
((triple4 ((triple4 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
True
9
proof
[(((((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule3)) -> rule5))]
("Charlie" "is" "round" "+")
((((triple4 ((triple4 ((triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not round.
False
9
inv-proof
[(((((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule3)) -> rule5))]
("Charlie" "is" "round" "-")
((((triple4 ((triple4 ((triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is young.[(triple4)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7 OR ((triple10 ((((triple8 triple9) -> rule2)) -> rule3)) -> rule5))] @1: Bob is cold.[(((triple2) -> rule3))] Charlie is cold.[(((triple5) -> rule3))] Fred is green.[(((triple8 triple9) -> rule2))] @2: Bob is round.[(((triple3 ((triple2) -> rule3)) -> rule5))] Charlie is nice.[(((triple4 ((triple5) -> rule3)) -> rule6))] Fred is cold.[(((((triple8 triple9) -> rule2)) -> rule3))] @3: Charlie is big.[(((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1))] @4: Charlie is round.[(((((triple4 ((triple4 ((triple5) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
((triple10 ((((triple8 triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8 triple9) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 ((triple4 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 ((triple4 ((triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule3 % int4))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Bob, a green man, was also big, but underneath he was kind.
Being young, Charlie is still green and blue.
Fred is fat; so he appears big and round; Fred is also nice and kind to everyone that he meets.
Young and nice people have great big smiles.
Someone can be very nice and kind, and this means they are also green.
People that feel green are cold to people that try to help them.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Big and cold people are likely to be round, too.
Someone who's young and frosty cold are actually very nice.