Charlie looks red to most people, with blue features. Dave is known to be rough and green. They always call him rough Eric. Harry has green teeth and rough skin. People also notice his blue eyes. Big round people who wear red clothing will also wear a lot of green jewelry. Rough and cold and blue people are round. I know anyone I meet who is big, nice, and round will be young. Rough, round persons are also nice persons. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A blue, rough and round person will also be a big person.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and red and round then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Charlie is blue.
True
1
proof
[(triple2)]
("Charlie" "is" "blue" "+")
triple2
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Harry is cold.
True
4
proof
[(((triple8 triple6 triple7) -> rule5))]
("Harry" "is" "cold" "+")
((triple8 triple6 triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
4
inv-proof
[(((triple8 triple6 triple7) -> rule5))]
("Harry" "is" "cold" "-")
((triple8 triple6 triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
True
7
proof
[(((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2))]
("Harry" "is" "round" "+")
((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not round.
False
7
inv-proof
[(((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2))]
("Harry" "is" "round" "-")
((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
True
10
proof
[(((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule6))]
("Harry" "is" "big" "+")
((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not nice.
False
9
inv-proof
[(((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule4))]
("Harry" "is" "nice" "-")
((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
True
27
proof
[(((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule6) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule4) ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule3))]
("Harry" "is" "young" "+")
((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int2)) ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not young.
False
27
inv-proof
[(((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule6) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule4) ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule3))]
("Harry" "is" "young" "-")
((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int2)) ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Eric is rough.[(triple5)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is rough.[(triple6)] @1: Harry is cold.[(((triple8 triple6 triple7) -> rule5))] @2: Harry is round.[(((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2))] @3: Harry is big.[(((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule6))] Harry is nice.[(((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule4))] @4: Harry is young.[(((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule6) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule4) ((triple6 triple8 ((triple8 triple6 triple7) -> rule5)) -> rule2)) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple6 triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((triple8 triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int2)) ((triple6 triple8 ((triple8 triple6 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Charlie looks red to most people, with blue features.
Dave is known to be rough and green.
They always call him rough Eric.
Harry has green teeth and rough skin; People also notice his blue eyes.
Big round people who wear red clothing will also wear a lot of green jewelry.
Rough and cold and blue people are round.
I know anyone I meet who is big, nice, and round will be young.
Rough, round persons are also nice persons.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
A blue, rough and round person will also be a big person.