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.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
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.