Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him. In the snow sits Eric, crying from being cold. Fred is a man who is both round and rough. That Gary is as round and red as a cherry, and twice as kind. A nice and colored blue person will be rather big. A round shaped and red person is definitely nice. Nice people are kind and rough when they are young. Young people tend to rough and nice, but they are also red. Blue, red, young people are always going to be kind people, too. If a person is quite big and also round then they are certainly rough too.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Fred is not rough.
False
1
inv-proof
[(triple7)]
("Fred" "is" "rough" "-")
triple7
Gary is nice.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Gary" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Charlie" "is" "big" "-")
((triple4 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
True
5
proof
[(((((triple4 triple2) -> rule1) triple1) -> rule6))]
("Charlie" "is" "rough" "+")
((((triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((((triple4 triple2) -> rule1) triple1) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
True
8
proof
[(((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3))]
("Charlie" "is" "young" "+")
((triple2 triple3 ((((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3))]
("Charlie" "is" "young" "-")
((triple2 triple3 ((((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
True
15
proof
[(((((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3) ((((triple4 triple2) -> rule1) triple1) -> rule6) triple2) -> rule4))]
("Charlie" "is" "red" "+")
((((triple2 triple3 ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not red.
False
15
inv-proof
[(((((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3) ((((triple4 triple2) -> rule1) triple1) -> rule6) triple2) -> rule4))]
("Charlie" "is" "red" "-")
((((triple2 triple3 ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Gary is not young.
Unknown
inv-rconc
[@3: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is red.
Unknown
rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is cold.[(triple5)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Charlie is big.[(((triple4 triple2) -> rule1))] Gary is nice.[(((triple8 triple9) -> rule2))] @2: Charlie is rough.[(((((triple4 triple2) -> rule1) triple1) -> rule6))] @3: Charlie is young.[(((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3))] @4: Charlie is red.[(((((triple2 triple3 ((((triple4 triple2) -> rule1) triple1) -> rule6)) -> rule3) ((((triple4 triple2) -> rule1) triple1) -> rule6) triple2) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple4 triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple3 ((((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple2 triple3 ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple4 triple2) -> (rule1 % int4)) triple1) -> (rule6 % int3)) triple2) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him.
In the snow sits Eric, crying from being cold.
Fred is a man who is both round and rough.
That Gary is as round and red as a cherry, and twice as kind.
A nice and colored blue person will be rather big.
A round shaped and red person is definitely nice.
Nice people are kind and rough when they are young.
Young people tend to rough and nice, but they are also red.
Blue, red, young people are always going to be kind people, too.
If a person is quite big and also round then they are certainly rough too.