Alan has a round face and is very nice. As much as Bob is nice, he is also cold and often feels blue. The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been. That guy Gary is big, but he's always kind to little ones. Someone who is both red and blue will also be a nice person. A red, round male or female will also be a nice male or female. If a nice person is round shaped, they feel blue about it. A blue and round human being will also be a green human being. A person that is round, green, and blue is usually considered cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Alan is blue.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Alan" "is" "blue" "-")
((triple2 triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
True
5
proof
[(((((triple2 triple1) -> rule3) triple1) -> rule4))]
("Alan" "is" "green" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not green.
False
5
inv-proof
[(((((triple2 triple1) -> rule3) triple1) -> rule4))]
("Alan" "is" "green" "-")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
True
10
proof
[(((triple1 ((((triple2 triple1) -> rule3) triple1) -> rule4) ((triple2 triple1) -> rule3)) -> rule5))]
("Alan" "is" "cold" "+")
((triple1 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((triple2 triple1) -> (rule3 % int3))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not cold.
False
10
inv-proof
[(((triple1 ((((triple2 triple1) -> rule3) triple1) -> rule4) ((triple2 triple1) -> rule3)) -> rule5))]
("Alan" "is" "cold" "-")
((triple1 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((triple2 triple1) -> (rule3 % int3))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is nice.[(triple3)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Gary is big.[(triple11)] Gary is kind.[(triple10)] @1: Alan is blue.[(((triple2 triple1) -> rule3))] @2: Alan is green.[(((((triple2 triple1) -> rule3) triple1) -> rule4))] @3: Alan is cold.[(((triple1 ((((triple2 triple1) -> rule3) triple1) -> rule4) ((triple2 triple1) -> rule3)) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((triple2 triple1) -> (rule3 % int3))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan has a round face and is very nice.
As much as Bob is nice, he is also cold and often feels blue.
The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been.
That guy Gary is big, but he's always kind to little ones.
Someone who is both red and blue will also be a nice person.
A red, round male or female will also be a nice male or female.
If a nice person is round shaped, they feel blue about it.
A blue and round human being will also be a green human being.
A person that is round, green, and blue is usually considered cold.