Alan is green, which is a possible explanation for why he is so nice. Red Bob is what folks call him, because he is quite red. In the snow sits Dave, crying from being cold. Gary is interestingly colored red and blue, and is also very kind. A big round person is nice. Santa Claus is red and kind. He is also very nice, especially to children. A big young person that is green will be cold to others. Cold, rough people are always green. A person who is described as young and cold, but also described as rough is nice. When you know someone who's red, rough and nice, you'll also see that they're cold. Kind people who are nice find that they must also be rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Gary is nice.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Gary" "is" "nice" "-")
((triple5 triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
True
5
proof
[(((triple6 ((triple5 triple6) -> rule2)) -> rule7))]
("Gary" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((triple6 ((triple5 triple6) -> rule2)) -> rule7))]
("Gary" "is" "rough" "-")
((triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
True
10
proof
[(((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6))]
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule2 % int3)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not cold.
False
10
inv-proof
[(((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6))]
("Gary" "is" "cold" "-")
((((triple5 triple6) -> (rule2 % int3)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
True
16
proof
[(((((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6) ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule4))]
("Gary" "is" "green" "+")
((((((triple5 triple6) -> (rule2 % int4)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not green.
False
16
inv-proof
[(((((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6) ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule4))]
("Gary" "is" "green" "-")
((((((triple5 triple6) -> (rule2 % int4)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "green" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is green.[(triple2)] Alan is nice.[(triple1)] Bob is red.[(triple3)] Dave is cold.[(triple4)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] @1: Gary is nice.[(((triple5 triple6) -> rule2))] @2: Gary is rough.[(((triple6 ((triple5 triple6) -> rule2)) -> rule7))] @3: Gary is cold.[(((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6))] @4: Gary is green.[(((((((triple5 triple6) -> rule2) triple5 ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule6) ((triple6 ((triple5 triple6) -> rule2)) -> rule7)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule2 % int3)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple5 triple6) -> (rule2 % int4)) triple5 ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple6 ((triple5 triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Alan is green, which is a possible explanation for why he is so nice.
Red Bob is what folks call him, because he is quite red.
In the snow sits Dave, crying from being cold.
Gary is interestingly colored red and blue, and is also very kind.
A big round person is nice.
Santa Claus is red and kind; He is also very nice, especially to children.
A big young person that is green will be cold to others.
Cold, rough people are always green.
A person who is described as young and cold, but also described as rough is nice.
When you know someone who's red, rough and nice, you'll also see that they're cold.
Kind people who are nice find that they must also be rough.