Charlie is so big, he is often blue, but always kind. Dave is rough but very kind, he is also red in color and young in age. Eric always goes out of his way to show that he is kind to people. Fred is considered to be a rather nice person who is also described as being kind, green and big. Santa Claus is red and kind. He is also very nice, especially to children. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Young, green round people are big. A nice young person who is red is cold. People who are blue and red and kind are described as being green. Anyone with red and blue coloration also has green coloration. Young people that are nice and green tend to be blue.
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("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 young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Charlie is kind.
True
1
proof
[(triple1)]
("Charlie" "is" "kind" "+")
triple1
Eric is not kind.
False
1
inv-proof
[(triple8)]
("Eric" "is" "kind" "-")
triple8
Dave is nice.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Dave" "is" "nice" "+")
((triple6 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Dave" "is" "nice" "-")
((triple6 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
6
proof
[(((((triple6 triple7) -> rule1) triple6 triple4) -> rule4))]
("Dave" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple6 triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((((triple6 triple7) -> rule1) triple6 triple4) -> rule4))]
("Dave" "is" "cold" "-")
((((triple6 triple7) -> (rule1 % int2)) triple6 triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
True
8
proof
[(((triple6 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule6) OR ((triple6 triple7 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule5))]
("Dave" "is" "green" "+")
((triple6 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple6 triple7 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not green.
False
8
inv-proof
[(((triple6 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule6) OR ((triple6 triple7 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule5))]
("Dave" "is" "green" "-")
((triple6 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple6 triple7 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Charlie is kind.[(triple1)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Eric is kind.[(triple8)] Fred is big.[(triple12)] Fred is green.[(triple11)] Fred is kind.[(triple10)] Fred is nice.[(triple9)] @1: Dave is nice.[(((triple6 triple7) -> rule1))] @2: Dave is blue.[(((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2))] Dave is cold.[(((((triple6 triple7) -> rule1) triple6 triple4) -> rule4))] @3: Dave is green.[(((triple6 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule6) OR ((triple6 triple7 ((triple5 ((triple6 triple7) -> rule1) triple6) -> rule2)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple5 ((triple6 triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple6 triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple6 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple6 triple7 ((triple5 ((triple6 triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is so big, he is often blue, but always kind.
Dave is rough but very kind, he is also red in color and young in age.
Eric always goes out of his way to show that he is kind to people.
Fred is considered to be a rather nice person who is also described as being kind, green and big.
Santa Claus is red and kind; He is also very nice, especially to children.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Young, green round people are big.
A nice young person who is red is cold.
People who are blue and red and kind are described as being green.
Anyone with red and blue coloration also has green coloration.
Young people that are nice and green tend to be blue.