Although Alan is seen as nice and round, his days of playing football have made him quite rough. Red Bob is what folks call him, because he is quite red. Eric wears all blue. Gary is a very kind, green but sometimes cold person. Whenever you are around kind and green people, you will notice they are very red. Blue and red people are often rough. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A kind, cold, round person will be nice in addition. When you meet someone that's rough, kind and nice you'll see they are green as well. A blue and round human being will also be a green human being. A big, blue and cold person will also be a round person.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Gary is red.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "red" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "red" "-")
((triple6 triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
True
6
proof
[(((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3))]
("Gary" "is" "blue" "+")
((triple6 ((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not blue.
False
6
inv-proof
[(((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3))]
("Gary" "is" "blue" "-")
((triple6 ((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
True
10
proof
[(((((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule2))]
("Gary" "is" "rough" "+")
((((triple6 ((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not rough.
False
10
inv-proof
[(((((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule2))]
("Gary" "is" "rough" "-")
((((triple6 ((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple4)] Eric is blue.[(triple5)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is kind.[(triple6)] @1: Gary is red.[(((triple6 triple7) -> rule1))] @2: Gary is blue.[(((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3))] @3: Gary is rough.[(((((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule2))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 ((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple6 ((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Although Alan is seen as nice and round, his days of playing football have made him quite rough.
Red Bob is what folks call him, because he is quite red.
Eric wears all blue.
Gary is a very kind, green but sometimes cold person.
Whenever you are around kind and green people, you will notice they are very red.
Blue and red people are often rough.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
A kind, cold, round person will be nice in addition.
When you meet someone that's rough, kind and nice you'll see they are green as well.
A blue and round human being will also be a green human being.
A big, blue and cold person will also be a round person.