Even though Alan is young, he is still very round and still very red. Bob is blue and cold. Red Charlie is what folks call him, because he is quite red. Though he is young, Gary is still nice despite being quite blue. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Someone who has a a young round face is often rough around the edges. Someone who is young and nice is often round. Young people tend to rough and nice, but they are also red. Color anybody red and blue, then make them rough, and they will surely be round.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
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 rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple4)]
("Bob" "is" "cold" "+")
triple4
Alan is not round.
False
1
inv-proof
[(triple2)]
("Alan" "is" "round" "-")
triple2
Gary is round.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Gary" "is" "round" "+")
((triple7 triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Gary" "is" "round" "-")
((triple7 triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
True
5
proof
[(((((triple7 triple8) -> rule3) triple7) -> rule2))]
("Gary" "is" "rough" "+")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple7 triple8) -> rule3) triple7) -> rule2))]
("Gary" "is" "rough" "-")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
True
8
proof
[(((triple7 ((((triple7 triple8) -> rule3) triple7) -> rule2) triple8) -> rule4))]
("Gary" "is" "red" "+")
((triple7 ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not red.
False
8
inv-proof
[(((triple7 ((((triple7 triple8) -> rule3) triple7) -> rule2) triple8) -> rule4))]
("Gary" "is" "red" "-")
((triple7 ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Charlie is red.[(triple6)] Gary is blue.[(triple9)] Gary is nice.[(triple8)] Gary is young.[(triple7)] @1: Alan is rough.[(((triple2 triple1) -> rule2))] Gary is round.[(((triple7 triple8) -> rule3))] @2: Gary is rough.[(((((triple7 triple8) -> rule3) triple7) -> rule2))] @3: Gary is red.[(((triple7 ((((triple7 triple8) -> rule3) triple7) -> rule2) triple8) -> rule4))]
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7 triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple7 ((((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Even though Alan is young, he is still very round and still very red.
Bob is blue and cold.
Red Charlie is what folks call him, because he is quite red.
Though he is young, Gary is still nice despite being quite blue.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Someone who has a a young round face is often rough around the edges.
Someone who is young and nice is often round.
Young people tend to rough and nice, but they are also red.
Color anybody red and blue, then make them rough, and they will surely be round.