Alan is blue just like his dog. Alan is rough and round enough for the dog to use him as an exercise wheel. Young Charlie is a big, cold, rough person. Fred is rough and red, but he is still young; he is still blue with youth. Red Gary is what folks call him, because he is quite red. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Cold and rough people will also surely be round shaped. Young, round, and cold people have a habit of looking pretty red. A rough, big soul is sure to be nice, too. Blue people who are kind and nice are actually quite rough. A big person that is tattooed blue will be very nice. If someone seems young, kind, and nice, expect them to be quite round.
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 cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Charlie is nice.
True
3
proof
[(((triple5 triple7) -> rule4))]
("Charlie" "is" "nice" "+")
((triple5 triple7) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple5 triple7) -> rule4))]
("Charlie" "is" "nice" "-")
((triple5 triple7) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
True
6
proof
[(((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3))]
("Charlie" "is" "red" "+")
((triple6 triple4 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3))]
("Charlie" "is" "red" "-")
((triple6 triple4 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
True
11
proof
[(((triple5 ((triple5 triple7) -> rule4) ((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "blue" "+")
((triple5 ((triple5 triple7) -> (rule4 % int4)) ((triple6 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not blue.
False
11
inv-proof
[(((triple5 ((triple5 triple7) -> rule4) ((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "blue" "-")
((triple5 ((triple5 triple7) -> (rule4 % int4)) ((triple6 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Fred is blue.[(triple11)] Fred is red.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] Gary is red.[(triple12)] @1: Charlie is nice.[(((triple5 triple7) -> rule4))] Charlie is round.[(((triple6 triple5) -> rule2))] @2: Charlie is red.[(((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3))] @3: Charlie is blue.[(((triple5 ((triple5 triple7) -> rule4) ((triple6 triple4 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple7) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple4 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((triple5 triple7) -> (rule4 % int4)) ((triple6 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Alan is blue just like his dog; Alan is rough and round enough for the dog to use him as an exercise wheel.
Young Charlie is a big, cold, rough person.
Fred is rough and red, but he is still young; he is still blue with youth.
Red Gary is what folks call him, because he is quite red.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Cold and rough people will also surely be round shaped.
Young, round, and cold people have a habit of looking pretty red.
A rough, big soul is sure to be nice, too.
Blue people who are kind and nice are actually quite rough.
A big person that is tattooed blue will be very nice.
If someone seems young, kind, and nice, expect them to be quite round.