Young Charlie got into a fight that left him with red sores on his face. Dave is so big, he is often blue, but always kind. They always call him rough Fred. Harry was quite young and green. He was also cold and big. A big person who also feels blue and a bit green are usually wearing red. Big, kind people are nice. Nice green people and often blue with sadness. Blue people who are rough are often young. People who have a big shape while they are young are found to be nice.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Harry is not big.
False
1
inv-proof
[(triple10)]
("Harry" "is" "big" "-")
triple10
Dave is nice.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple7 triple10) -> rule5))]
("Harry" "is" "nice" "-")
((triple7 triple10) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
5
proof
[(((triple8 ((triple7 triple10) -> rule5)) -> rule3))]
("Harry" "is" "blue" "+")
((triple8 ((triple7 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
5
inv-proof
[(((triple8 ((triple7 triple10) -> rule5)) -> rule3))]
("Harry" "is" "blue" "-")
((triple8 ((triple7 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
True
8
proof
[(((triple10 ((triple8 ((triple7 triple10) -> rule5)) -> rule3) triple8) -> rule1))]
("Harry" "is" "red" "+")
((triple10 ((triple8 ((triple7 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not red.
False
8
inv-proof
[(((triple10 ((triple8 ((triple7 triple10) -> rule5)) -> rule3) triple8) -> rule1))]
("Harry" "is" "red" "-")
((triple10 ((triple8 ((triple7 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is kind.[(triple3)] Fred is rough.[(triple6)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is young.[(triple7)] @1: Dave is nice.[(((triple3 triple5) -> rule2))] Harry is nice.[(((triple7 triple10) -> rule5))] @2: Harry is blue.[(((triple8 ((triple7 triple10) -> rule5)) -> rule3))] @3: Harry is red.[(((triple10 ((triple8 ((triple7 triple10) -> rule5)) -> rule3) triple8) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple5) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple10) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 ((triple7 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple10 ((triple8 ((triple7 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Young Charlie got into a fight that left him with red sores on his face.
Dave is so big, he is often blue, but always kind.
They always call him rough Fred.
Harry was quite young and green; He was also cold and big.
A big person who also feels blue and a bit green are usually wearing red.
Big, kind people are nice.
Nice green people and often blue with sadness.
Blue people who are rough are often young.
People who have a big shape while they are young are found to be nice.