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.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
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.