Dave became more and more round and nice and kind, but he couldn't stop being cold and big. Fred wears all blue. They always call him rough Gary. Harry wears all blue. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Someone who is round in shape and green in color is usually cold. Red people who are also kind often turn out to be cold from standing outdoors too long. If a big person is cold and nice, then they are green. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Nice people who are looking green and seeing red usually feel rather rough.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "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 green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple6)]
("Fred" "is" "blue" "-")
triple6
Dave is green.
True
4
proof
[(((triple4 triple5 triple2) -> rule4))]
("Dave" "is" "green" "+")
((triple4 triple5 triple2) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
4
inv-proof
[(((triple4 triple5 triple2) -> rule4))]
("Dave" "is" "green" "-")
((triple4 triple5 triple2) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
True
7
proof
[(((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1))]
("Dave" "is" "red" "+")
((((triple4 triple5 triple2) -> (rule4 % int2)) triple1 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not red.
False
7
inv-proof
[(((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1))]
("Dave" "is" "red" "-")
((((triple4 triple5 triple2) -> (rule4 % int2)) triple1 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
True
13
proof
[(((triple2 ((triple4 triple5 triple2) -> rule4) ((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1)) -> rule6))]
("Dave" "is" "rough" "+")
((triple2 ((triple4 triple5 triple2) -> (rule4 % int3)) ((((triple4 triple5 triple2) -> (rule4 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not rough.
False
13
inv-proof
[(((triple2 ((triple4 triple5 triple2) -> rule4) ((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1)) -> rule6))]
("Dave" "is" "rough" "-")
((triple2 ((triple4 triple5 triple2) -> (rule4 % int3)) ((((triple4 triple5 triple2) -> (rule4 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Fred is blue.[(triple6)] Gary is rough.[(triple7)] Harry is blue.[(triple8)] @1: Dave is green.[(((triple4 triple5 triple2) -> rule4))] @2: Dave is red.[(((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1))] @3: Dave is rough.[(((triple2 ((triple4 triple5 triple2) -> rule4) ((((triple4 triple5 triple2) -> rule4) triple1 triple3) -> rule1)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
((triple4 triple5 triple2) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple5 triple2) -> (rule4 % int2)) triple1 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 ((triple4 triple5 triple2) -> (rule4 % int3)) ((((triple4 triple5 triple2) -> (rule4 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave became more and more round and nice and kind, but he couldn't stop being cold and big.
Fred wears all blue.
They always call him rough Gary.
Harry wears all blue.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Someone who is round in shape and green in color is usually cold.
Red people who are also kind often turn out to be cold from standing outdoors too long.
If a big person is cold and nice, then they are green.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Nice people who are looking green and seeing red usually feel rather rough.