Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. When you talk about Charlie, 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. Eric who is considered nice was feeling rather rough today. Being young, Gary is still green and blue. A blue person who is feeling a bit rough and cold will be wearing red. Green people will be nice even when they have been rough. People who are rough and nice and blue can be round. People feeling green and blue are somewhat nice. There are so many rough, young people and for some reason they are all big too. People who are nice and rough are looked at as kind.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple10)]
("Gary" "is" "green" "-")
triple10
Eric is kind.
True
3
proof
[(((triple8 triple7) -> rule6))]
("Eric" "is" "kind" "+")
((triple8 triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple8 triple7) -> rule6))]
("Eric" "is" "kind" "-")
((triple8 triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Gary is rough.
True
5
proof
[(((triple10 ((triple10 triple11) -> rule4)) -> rule2))]
("Gary" "is" "rough" "+")
((triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((triple10 ((triple10 triple11) -> rule4)) -> rule2))]
("Gary" "is" "rough" "-")
((triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
True
9
proof
[(((((triple10 triple11) -> rule4) ((triple10 ((triple10 triple11) -> rule4)) -> rule2)) -> rule6))]
("Gary" "is" "kind" "+")
((((triple10 triple11) -> (rule4 % int3)) ((triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not round.
False
10
inv-proof
[(((((triple10 ((triple10 triple11) -> rule4)) -> rule2) ((triple10 triple11) -> rule4) triple11) -> rule3))]
("Gary" "is" "round" "-")
((((triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule2 % int2)) ((triple10 triple11) -> (rule4 % int3)) triple11) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1 OR ((((triple2 triple3) -> rule4) ((triple2 ((triple2 triple3) -> rule4)) -> rule2)) -> rule6))] Charlie is cold.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is young.[(triple9)] @1: Bob is nice.[(((triple2 triple3) -> rule4))] Charlie is kind.[(((triple5 triple4) -> rule6))] Eric is kind.[(((triple8 triple7) -> rule6))] Gary is nice.[(((triple10 triple11) -> rule4))] @2: Bob is rough.[(((triple2 ((triple2 triple3) -> rule4)) -> rule2))] Gary is rough.[(((triple10 ((triple10 triple11) -> rule4)) -> rule2))] @3: Bob is round.[(((((triple2 ((triple2 triple3) -> rule4)) -> rule2) ((triple2 triple3) -> rule4) triple3) -> rule3))] Gary is big.[(((triple9 ((triple10 ((triple10 triple11) -> rule4)) -> rule2)) -> rule5))] Gary is kind.[(((((triple10 triple11) -> rule4) ((triple10 ((triple10 triple11) -> rule4)) -> rule2)) -> rule6))] Gary is round.[(((((triple10 ((triple10 triple11) -> rule4)) -> rule2) ((triple10 triple11) -> rule4) triple11) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((((triple2 triple3) -> (rule4 % int3)) ((triple2 ((triple2 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple11) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple2 ((triple2 triple3) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple9 ((triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10 triple11) -> (rule4 % int3)) ((triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((triple10 ((triple10 triple11) -> (rule4 % int3))) -> (rule2 % int2)) ((triple10 triple11) -> (rule4 % int3)) triple11) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
When you talk about Charlie, 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.
Eric who is considered nice was feeling rather rough today.
Being young, Gary is still green and blue.
A blue person who is feeling a bit rough and cold will be wearing red.
Green people will be nice even when they have been rough.
People who are rough and nice and blue can be round.
People feeling green and blue are somewhat nice.
There are so many rough, young people and for some reason they are all big too.
People who are nice and rough are looked at as kind.