Alan is kind and round. Being round makes him a bit blue. In the snow sits Bob, crying from being cold. Dave has a big round body which makes him feel blue about how rough he looks and fills him with red anger. Eric ate some rotten meat and now feels green. When someone is blue, lives green they can be rough but kind. It's been proven that red, rough people are green as well. Someone being both nice and kind means that they are a big person. Kind people who look green are almost always young in age. Red people who are green and blue are always kind.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Dave is red.
True
1
proof
[(triple7)]
("Dave" "is" "red" "+")
triple7
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Dave is green.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "green" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Dave" "is" "green" "-")
((triple7 triple6) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
True
6
proof
[(((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5) OR ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1))]
("Dave" "is" "kind" "+")
((triple7 triple8 ((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple8 triple6 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5) OR ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1))]
("Dave" "is" "kind" "-")
((triple7 triple8 ((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple8 triple6 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
True
10
proof
[(((((triple7 triple6) -> rule2) ((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 triple6) -> rule2) ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1)) -> rule4))]
("Dave" "is" "young" "+")
((((triple7 triple6) -> (rule2 % int3)) ((triple7 triple8 ((triple7 triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple7 triple6) -> (rule2 % int3)) ((triple8 triple6 ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not young.
False
10
inv-proof
[(((((triple7 triple6) -> rule2) ((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 triple6) -> rule2) ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1)) -> rule4))]
("Dave" "is" "young" "-")
((((triple7 triple6) -> (rule2 % int3)) ((triple7 triple8 ((triple7 triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple7 triple6) -> (rule2 % int3)) ((triple8 triple6 ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple4)] Dave is big.[(triple9)] Dave is blue.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Eric is green.[(triple10)] @1: Dave is green.[(((triple7 triple6) -> rule2))] @2: Dave is kind.[(((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5) OR ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1))] @3: Dave is young.[(((((triple7 triple6) -> rule2) ((triple7 triple8 ((triple7 triple6) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 triple6) -> rule2) ((triple8 triple6 ((triple7 triple6) -> rule2)) -> rule1)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple7 triple6) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 triple8 ((triple7 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple8 triple6 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple7 triple6) -> (rule2 % int3)) ((triple7 triple8 ((triple7 triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple7 triple6) -> (rule2 % int3)) ((triple8 triple6 ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan is kind and round; Being round makes him a bit blue.
In the snow sits Bob, crying from being cold.
Dave has a big round body which makes him feel blue about how rough he looks and fills him with red anger.
Eric ate some rotten meat and now feels green.
When someone is blue, lives green they can be rough but kind.
It's been proven that red, rough people are green as well.
Someone being both nice and kind means that they are a big person.
Kind people who look green are almost always young in age.
Red people who are green and blue are always kind.