Charlie is nice, even when he is rough and red with anger. To the touch Eric has rough, cold skin. Everyone noticed how round and nice Fred was. He was kind, and everyone thought he was green and big. Harry is big and dresses in blue. A nice person with rough skin is red. A person with a rough quality is also a person with a blue quality. A kind person who is big in size is definitely young. Somebody fitting a young, blue and round description will also fit a green description. Anyone with red and blue coloration also has green coloration. Being green and rough are signs that someone is big. A big and round shaped, blue person will be cold for sure.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Fred is kind.
True
1
proof
[(triple8)]
("Fred" "is" "kind" "+")
triple8
Fred is not big.
False
1
inv-proof
[(triple10)]
("Fred" "is" "big" "-")
triple10
Fred is young.
True
3
proof
[(((triple8 triple10) -> rule3))]
("Fred" "is" "young" "+")
((triple8 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
3
inv-proof
[(((triple8 triple10) -> rule3))]
("Fred" "is" "young" "-")
((triple8 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is green.
True
4
proof
[(((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5))]
("Charlie" "is" "green" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not green.
False
4
inv-proof
[(((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5))]
("Charlie" "is" "green" "-")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
True
6
proof
[(((((triple2 ((triple1) -> rule2)) -> rule5) triple1) -> rule6) OR ((((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5) triple1) -> rule6))]
("Charlie" "is" "big" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not big.
False
6
inv-proof
[(((((triple2 ((triple1) -> rule2)) -> rule5) triple1) -> rule6) OR ((((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5) triple1) -> rule6))]
("Charlie" "is" "big" "-")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Eric" "is" "green" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2 OR ((triple1 triple3) -> rule1))] Charlie is rough.[(triple1)] Eric is cold.[(triple5)] Eric is rough.[(triple4)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is blue.[(((triple1) -> rule2))] Eric is blue.[(((triple4) -> rule2))] Fred is young.[(((triple8 triple10) -> rule3))] @2: Charlie is green.[(((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple2 ((triple1) -> rule2)) -> rule5) triple1) -> rule6) OR ((((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5) triple1) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((triple1 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple8 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is nice, even when he is rough and red with anger.
To the touch Eric has rough, cold skin.
Everyone noticed how round and nice Fred was; He was kind, and everyone thought he was green and big.
Harry is big and dresses in blue.
A nice person with rough skin is red.
A person with a rough quality is also a person with a blue quality.
A kind person who is big in size is definitely young.
Somebody fitting a young, blue and round description will also fit a green description.
Anyone with red and blue coloration also has green coloration.
Being green and rough are signs that someone is big.
A big and round shaped, blue person will be cold for sure.