Bob is known to be rough and green. My young friend Charlie is quite big has rough skin with a green tinge.  He is feeling blue because his dog ran away. Eric is big and dresses in blue. To the touch Gary has rough, cold skin. A rough, blue person is often said to be nice. Blue people who are big tend to be rough. I have noticed that nice people that are green and blue are often round-shaped. People who are nice and rough are looked at as kind. Someone who is big and kind is blue.
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Charlie is blue.
True
1
proof
[(triple6)]
("Charlie" "is" "blue" "+")
triple6
Eric is not big.
False
1
inv-proof
[(triple9)]
("Eric" "is" "big" "-")
triple9
Eric is rough.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Eric" "is" "rough" "-")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Charlie is round.
True
6
proof
[(((((triple6 triple4) -> rule1) triple5 triple6) -> rule3) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1) triple5 triple6) -> rule3))]
("Charlie" "is" "round" "+")
((((triple6 triple4) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not round.
False
6
inv-proof
[(((((triple6 triple4) -> rule1) triple5 triple6) -> rule3) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1) triple5 triple6) -> rule3))]
("Charlie" "is" "round" "-")
((((triple6 triple4) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Eric is kind.
True
9
proof
[(((((triple8 ((triple8 triple9) -> rule2)) -> rule1) ((triple8 triple9) -> rule2)) -> rule4))]
("Eric" "is" "kind" "+")
((((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not kind.
False
9
inv-proof
[(((((triple8 ((triple8 triple9) -> rule2)) -> rule1) ((triple8 triple9) -> rule2)) -> rule4))]
("Eric" "is" "kind" "-")
((((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is green.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is rough.[(triple4 OR ((triple6 triple7) -> rule2))] Charlie is young.[(triple3)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Gary is cold.[(triple11)] Gary is rough.[(triple10)] @1: Charlie is nice.[(((triple6 triple4) -> rule1) OR ((triple6 ((triple6 triple7) -> rule2)) -> rule1))] Eric is rough.[(((triple8 triple9) -> rule2))] @2: Charlie is kind.[(((((triple6 triple4) -> rule1) triple4) -> rule4) OR ((((triple6 triple4) -> rule1) ((triple6 triple7) -> rule2)) -> rule4) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1) triple4) -> rule4) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1) ((triple6 triple7) -> rule2)) -> rule4))] Charlie is round.[(((((triple6 triple4) -> rule1) triple5 triple6) -> rule3) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1) triple5 triple6) -> rule3))] Eric is nice.[(((triple8 ((triple8 triple9) -> rule2)) -> rule1))] @3: Eric is kind.[(((((triple8 ((triple8 triple9) -> rule2)) -> rule1) ((triple8 triple9) -> rule2)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple6 triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 triple4) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 ((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple6 triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6 triple4) -> (rule1 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((triple6 triple4) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple5 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule2 % int3))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Bob is known to be rough and green.
My young friend Charlie is quite big has rough skin with a green tinge; He is feeling blue because his dog ran away.
Eric is big and dresses in blue.
To the touch Gary has rough, cold skin.
A rough, blue person is often said to be nice.
Blue people who are big tend to be rough.
I have noticed that nice people that are green and blue are often round-shaped.
People who are nice and rough are looked at as kind.
Someone who is big and kind is blue.