Alan always goes out of his way to show that he is kind to people. Bob is big and tends to wear red shirts. Young, round Eric is green and very cold, but also nice. Gary is round, dresses in red, but is blue with cold. Most young, green people are kind and because of this they are round. It's a fact that young people are red people. Anyone that is a red, nice soul will be big, too. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. I see it all the time, nice big people make equal a cold person. Young people with red skin that play rough are actually quite kind. Big, red things tend to have a kind spirit to them.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is green.
True
1
proof
[(triple7)]
("Eric" "is" "green" "+")
triple7
Eric is not cold.
False
1
inv-proof
[(triple8 OR ((triple6 ((((triple4) -> rule2) triple6) -> rule3)) -> rule5))]
("Eric" "is" "cold" "-")
triple8
((triple6 ((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is kind.
True
3
proof
[(((triple2 triple3) -> rule7))]
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Eric" "is" "red" "-")
((triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
True
4
proof
[(((((triple4) -> rule2) triple6) -> rule3))]
("Eric" "is" "big" "+")
((((triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not big.
False
4
inv-proof
[(((((triple4) -> rule2) triple6) -> rule3))]
("Eric" "is" "big" "-")
((((triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
7
proof
[(((((triple4) -> rule2) ((((triple4) -> rule2) triple6) -> rule3)) -> rule7))]
("Eric" "is" "kind" "+")
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not kind.
False
7
inv-proof
[(((((triple4) -> rule2) ((((triple4) -> rule2) triple6) -> rule3)) -> rule7))]
("Eric" "is" "kind" "-")
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is kind.[(triple1)] Bob is big.[(triple3)] Bob is red.[(triple2)] Eric is cold.[(triple8 OR ((triple6 ((((triple4) -> rule2) triple6) -> rule3)) -> rule5))] Eric is green.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5 OR ((triple7 triple4 ((((triple4) -> rule2) ((((triple4) -> rule2) triple6) -> rule3)) -> rule7)) -> rule1))] Eric is young.[(triple4)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple9)] @1: Bob is kind.[(((triple2 triple3) -> rule7))] Eric is red.[(((triple4) -> rule2))] @2: Eric is big.[(((((triple4) -> rule2) triple6) -> rule3))] @3: Eric is kind.[(((((triple4) -> rule2) ((((triple4) -> rule2) triple6) -> rule3)) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple8
((triple6 ((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
((triple7 triple4 ((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Bob is big and tends to wear red shirts.
Young, round Eric is green and very cold, but also nice.
Gary is round, dresses in red, but is blue with cold.
Most young, green people are kind and because of this they are round.
It's a fact that young people are red people.
Anyone that is a red, nice soul will be big, too.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
I see it all the time, nice big people make equal a cold person.
Young people with red skin that play rough are actually quite kind.
Big, red things tend to have a kind spirit to them.