Alan is so young and darling he is kind to all the old people on the block. Dave is known to be rough and green. Eric is a nice round guy, which leads to him being red. Big Gary is a nice young man who also happens to be red. Red and green people that are nice are cold to strangers. People that tend to be big and green also tend to be cold. Young people who wear red lipstick are certainly kind. A nice young person who is rough around the edges is big. When someone is young they can be nice and kind, but green in society. Kind, rough people who are nice are also cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is round.
True
1
proof
[(triple5)]
("Eric" "is" "round" "+")
triple5
Eric is not round.
False
1
inv-proof
[(triple5)]
("Eric" "is" "round" "-")
triple5
Gary is kind.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Gary" "is" "kind" "+")
((triple9 triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Gary" "is" "kind" "-")
((triple9 triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
True
6
proof
[(((((triple9 triple8) -> rule3) triple10 triple8) -> rule5))]
("Gary" "is" "green" "+")
((((triple9 triple8) -> (rule3 % int2)) triple10 triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not green.
False
6
inv-proof
[(((((triple9 triple8) -> rule3) triple10 triple8) -> rule5))]
("Gary" "is" "green" "-")
((((triple9 triple8) -> (rule3 % int2)) triple10 triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
True
8
proof
[(((triple11 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule2) OR ((triple9 triple10 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule1))]
("Gary" "is" "cold" "+")
((triple11 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple9 triple10 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
8
inv-proof
[(((triple11 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule2) OR ((triple9 triple10 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule1))]
("Gary" "is" "cold" "-")
((triple11 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple9 triple10 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Gary is kind.[(((triple9 triple8) -> rule3))] @2: Gary is green.[(((((triple9 triple8) -> rule3) triple10 triple8) -> rule5))] @3: Gary is cold.[(((triple11 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule2) OR ((triple9 triple10 ((((triple9 triple8) -> rule3) triple10 triple8) -> rule5)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple9 triple8) -> (rule3 % int2)) triple10 triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple9 triple10 ((((triple9 triple8) -> (rule3 % int3)) triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan is so young and darling he is kind to all the old people on the block.
Dave is known to be rough and green.
Eric is a nice round guy, which leads to him being red.
Big Gary is a nice young man who also happens to be red.
Red and green people that are nice are cold to strangers.
People that tend to be big and green also tend to be cold.
Young people who wear red lipstick are certainly kind.
A nice young person who is rough around the edges is big.
When someone is young they can be nice and kind, but green in society.
Kind, rough people who are nice are also cold.