Bob is very nice to people, but he's also rather big. Charlie is round, dresses in red, but is blue with cold. Dave is blue from ink he spilled on himself while being kind and helping some children paint. The cold, nice, kind man with a round body is known as Gary. You will probably see that red, round people are nice, as well as green. Someone who is round in shape and green in color is usually cold. Rough people are often round. A depressed person feeling blue who is kind cannot escape from being green. A kind person who is green is usually round. A green and quite rough person will also be blue.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Dave is green.
True
3
proof
[(((triple8 triple7) -> rule4))]
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple8 triple7) -> rule4))]
("Dave" "is" "green" "-")
((triple8 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
True
5
proof
[(((triple7 ((triple8 triple7) -> rule4)) -> rule5))]
("Dave" "is" "round" "+")
((triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not round.
False
5
inv-proof
[(((triple7 ((triple8 triple7) -> rule4)) -> rule5))]
("Dave" "is" "round" "-")
((triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
True
9
proof
[(((((triple8 triple7) -> rule4) ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule2))]
("Dave" "is" "cold" "+")
((((triple8 triple7) -> (rule4 % int3)) ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not cold.
False
9
inv-proof
[(((((triple8 triple7) -> rule4) ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule2))]
("Dave" "is" "cold" "-")
((((triple8 triple7) -> (rule4 % int3)) ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple2)] Bob is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Dave is blue.[(triple8)] Dave is kind.[(triple7)] Gary is cold.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Dave is green.[(((triple8 triple7) -> rule4))] @2: Dave is round.[(((triple7 ((triple8 triple7) -> rule4)) -> rule5))] @3: Dave is cold.[(((((triple8 triple7) -> rule4) ((triple7 ((triple8 triple7) -> rule4)) -> rule5)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple8 triple7) -> (rule4 % int3)) ((triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is very nice to people, but he's also rather big.
Charlie is round, dresses in red, but is blue with cold.
Dave is blue from ink he spilled on himself while being kind and helping some children paint.
The cold, nice, kind man with a round body is known as Gary.
You will probably see that red, round people are nice, as well as green.
Someone who is round in shape and green in color is usually cold.
Rough people are often round.
A depressed person feeling blue who is kind cannot escape from being green.
A kind person who is green is usually round.
A green and quite rough person will also be blue.