Charlie has green teeth and rough skin. People also notice his blue eyes. Being so young, Dave is rough during play, even though he is nice. He is big for his age and has blue eyes. In the snow sits Eric, crying from being cold. Gary gets red when he is mad and tends to act very cold. People who are rough and green with envy are young. It's a fact that young people are red people. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Anybody with big, rough and nice qualities is bound to also be young. Big, kind, and nice people are often red in color. A kind and nice person who is looking green is often red. Someone blue and red is definitely round and dressed as a clown.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Dave is not nice.
False
1
inv-proof
[(triple6 OR ((((triple4) -> rule2) triple5 triple7) -> rule3))]
("Dave" "is" "nice" "-")
triple6
((((triple4) -> (rule2 % int2)) triple5 triple7) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Charlie is young.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Charlie" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple4) -> rule2) OR ((((triple8 triple5 triple6) -> rule4)) -> rule2))]
("Dave" "is" "red" "-")
((triple4) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
True
4
proof
[(((triple7 ((triple4) -> rule2)) -> rule7) OR ((triple7 ((((triple8 triple5 triple6) -> rule4)) -> rule2)) -> rule7))]
("Dave" "is" "round" "+")
((triple7 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple7 ((((triple8 triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Charlie is not red.
False
4
inv-proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("Charlie" "is" "red" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
True
7
proof
[(((((((triple1 triple2) -> rule1)) -> rule2) triple1 triple3) -> rule3))]
("Charlie" "is" "nice" "+")
((((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple1 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not round.
False
6
inv-proof
[(((triple3 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule7))]
("Charlie" "is" "round" "-")
((triple3 ((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is nice.[(triple6 OR ((((triple4) -> rule2) triple5 triple7) -> rule3))] Dave is rough.[(triple5)] Dave is young.[(triple4 OR ((triple8 triple5 triple6) -> rule4))] Eric is cold.[(triple9)] Gary is cold.[(triple11)] Gary is red.[(triple10)] @1: Charlie is young.[(((triple1 triple2) -> rule1))] Dave is red.[(((triple4) -> rule2) OR ((((triple8 triple5 triple6) -> rule4)) -> rule2))] @2: Charlie is red.[(((((triple1 triple2) -> rule1)) -> rule2))] Dave is round.[(((triple7 ((triple4) -> rule2)) -> rule7) OR ((triple7 ((((triple8 triple5 triple6) -> rule4)) -> rule2)) -> rule7))] @3: Charlie is nice.[(((((((triple1 triple2) -> rule1)) -> rule2) triple1 triple3) -> rule3))] Charlie is round.[(((triple3 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((((triple4) -> (rule2 % int2)) triple5 triple7) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple8 triple5 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple4) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple7 ((((triple8 triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple1 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 ((((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie has green teeth and rough skin; People also notice his blue eyes.
Being so young, Dave is rough during play, even though he is nice; He is big for his age and has blue eyes.
In the snow sits Eric, crying from being cold.
Gary gets red when he is mad and tends to act very cold.
People who are rough and green with envy are young.
It's a fact that young people are red people.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
Anybody with big, rough and nice qualities is bound to also be young.
Big, kind, and nice people are often red in color.
A kind and nice person who is looking green is often red.
Someone blue and red is definitely round and dressed as a clown.