Alan, like all young people, is nice. Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred has a round face and is very nice. Gary is a round fellow, but he is kind, even when he is so cold he turns blue. A nice young person who is rough around the edges is big. People who are rough around the edges, nice, and a bit blue are young. Being green, blue, and red all point to how young someone was. A blue and red colored person that is young is also very cold. Blue people round with fat are red from too much time in the sun. Round, nice people are normally cold and nasty.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Fred is not nice.
False
1
inv-proof
[(triple7)]
("Fred" "is" "nice" "-")
triple7
Dave is red.
True
3
proof
[(((triple5 triple3) -> rule5))]
("Dave" "is" "red" "+")
((triple5 triple3) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple6 triple7) -> rule6))]
("Fred" "is" "cold" "-")
((triple6 triple7) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Dave is young.
True
6
proof
[(((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3))]
("Dave" "is" "young" "+")
((triple4 triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3))]
("Dave" "is" "young" "-")
((triple4 triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
True
11
proof
[(((triple5 ((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3) ((triple5 triple3) -> rule5)) -> rule4))]
("Dave" "is" "cold" "+")
((triple5 ((triple4 triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule5 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not cold.
False
11
inv-proof
[(((triple5 ((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3) ((triple5 triple3) -> rule5)) -> rule4))]
("Dave" "is" "cold" "-")
((triple5 ((triple4 triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule5 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is round.[(triple3)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] @1: Dave is red.[(((triple5 triple3) -> rule5))] Fred is cold.[(((triple6 triple7) -> rule6))] Gary is red.[(((triple11 triple8) -> rule5))] @2: Dave is young.[(((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3))] @3: Dave is cold.[(((triple5 ((triple4 triple5 ((triple5 triple3) -> rule5)) -> rule3) ((triple5 triple3) -> rule5)) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
((triple5 triple3) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple6 triple7) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple5 ((triple5 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple5 ((triple4 triple5 ((triple5 triple3) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule5 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan, like all young people, is nice.
Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Fred has a round face and is very nice.
Gary is a round fellow, but he is kind, even when he is so cold he turns blue.
A nice young person who is rough around the edges is big.
People who are rough around the edges, nice, and a bit blue are young.
Being green, blue, and red all point to how young someone was.
A blue and red colored person that is young is also very cold.
Blue people round with fat are red from too much time in the sun.
Round, nice people are normally cold and nasty.