Alan is very young red and kind, however he's green, nice and cold as well. Charlie gets red when he is mad and tends to act very cold. Dave, the round one, is cold in Alaska because he's green and rough around the edges. In every case of people being kind and blue and green, we find they are concurrently nice. People who are round and young are also very nice. A nice big person who is also round is going to be cold. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big, red things tend to have a kind spirit to them. A rough, big, and round person can't help but be kind as well. A cold temperatured and rough person who is also green will be big shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Charlie is cold.
True
1
proof
[(triple8)]
("Charlie" "is" "cold" "+")
triple8
Dave is not green.
False
1
inv-proof
[(triple11)]
("Dave" "is" "green" "-")
triple11
Dave is big.
True
4
proof
[(((triple12 triple10 triple11) -> rule7))]
("Dave" "is" "big" "+")
((triple12 triple10 triple11) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
4
inv-proof
[(((triple12 triple10 triple11) -> rule7))]
("Dave" "is" "big" "-")
((triple12 triple10 triple11) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
True
7
proof
[(((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6))]
("Dave" "is" "kind" "+")
((triple10 ((triple12 triple10 triple11) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not kind.
False
7
inv-proof
[(((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6))]
("Dave" "is" "kind" "-")
((triple10 ((triple12 triple10 triple11) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
True
10
proof
[(((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4))]
("Dave" "is" "young" "+")
((((triple10 ((triple12 triple10 triple11) -> (rule7 % int3)) triple9) -> (rule6 % int2)) triple10 triple12) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not young.
False
10
inv-proof
[(((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4))]
("Dave" "is" "young" "-")
((((triple10 ((triple12 triple10 triple11) -> (rule7 % int3)) triple9) -> (rule6 % int2)) triple10 triple12) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
True
12
proof
[(((triple9 ((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4)) -> rule2))]
("Dave" "is" "nice" "+")
((triple9 ((((triple10 ((triple12 triple10 triple11) -> (rule7 % int4)) triple9) -> (rule6 % int3)) triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not nice.
False
12
inv-proof
[(((triple9 ((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4)) -> rule2))]
("Dave" "is" "nice" "-")
((triple9 ((((triple10 ((triple12 triple10 triple11) -> (rule7 % int4)) triple9) -> (rule6 % int3)) triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "big" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is cold.[(triple6)] Alan is green.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple8)] Charlie is red.[(triple7)] Dave is cold.[(triple12)] Dave is green.[(triple11)] Dave is rough.[(triple10)] Dave is round.[(triple9)] @1: Dave is big.[(((triple12 triple10 triple11) -> rule7))] @2: Dave is kind.[(((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6))] @3: Dave is young.[(((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4))] @4: Dave is nice.[(((triple9 ((((triple10 ((triple12 triple10 triple11) -> rule7) triple9) -> rule6) triple10 triple12) -> rule4)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple6
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
((triple12 triple10 triple11) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple10 ((triple12 triple10 triple11) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple10 ((triple12 triple10 triple11) -> (rule7 % int3)) triple9) -> (rule6 % int2)) triple10 triple12) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple9 ((((triple10 ((triple12 triple10 triple11) -> (rule7 % int4)) triple9) -> (rule6 % int3)) triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Alan is very young red and kind, however he's green, nice and cold as well.
Charlie gets red when he is mad and tends to act very cold.
Dave, the round one, is cold in Alaska because he's green and rough around the edges.
In every case of people being kind and blue and green, we find they are concurrently nice.
People who are round and young are also very nice.
A nice big person who is also round is going to be cold.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Big, red things tend to have a kind spirit to them.
A rough, big, and round person can't help but be kind as well.
A cold temperatured and rough person who is also green will be big shaped.