Charlie ate some rotten meat and now feels green. Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Fred is a young, round, and rough person who is red with goosebumps because he is cold/. Almost all of the young blue and red people I have seen are big as well. A person that is blue green and nice are that way because they are still young. People who are young and green are also kind. A person who is round and nice is cold. A blue and green colored person will be round in shape. People who are nice and cold are also green.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is red.
True
1
proof
[(triple8)]
("Fred" "is" "red" "+")
triple8
Fred is not round.
False
1
inv-proof
[(triple6)]
("Fred" "is" "round" "-")
triple6
Dave is cold.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Dave" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Dave" "is" "cold" "-")
((triple3 triple2) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule4)) -> rule6))]
("Dave" "is" "green" "+")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule4)) -> rule6))]
("Dave" "is" "green" "-")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
True
8
proof
[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2))]
("Dave" "is" "young" "+")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
False
8
inv-proof
[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2))]
("Dave" "is" "young" "-")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
True
14
proof
[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2) ((triple3 ((triple3 triple2) -> rule4)) -> rule6)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2)) ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not kind.
False
14
inv-proof
[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2) ((triple3 ((triple3 triple2) -> rule4)) -> rule6)) -> rule3))]
("Dave" "is" "kind" "-")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2)) ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "cold" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Charlie is green.[(triple1)] Dave is blue.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Fred is cold.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] @1: Dave is cold.[(((triple3 triple2) -> rule4))] @2: Dave is green.[(((triple3 ((triple3 triple2) -> rule4)) -> rule6))] @3: Dave is young.[(((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2))] @4: Dave is kind.[(((((triple4 ((triple3 ((triple3 triple2) -> rule4)) -> rule6) triple3) -> rule2) ((triple3 ((triple3 triple2) -> rule4)) -> rule6)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple4 ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2)) ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Charlie ate some rotten meat and now feels green.
Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Fred is a young, round, and rough person who is red with goosebumps because he is cold/.
Almost all of the young blue and red people I have seen are big as well.
A person that is blue green and nice are that way because they are still young.
People who are young and green are also kind.
A person who is round and nice is cold.
A blue and green colored person will be round in shape.
People who are nice and cold are also green.