Alan is young, but very kind to others. Alan is big, with round features. Bob is young and round, he is also green. They always call him rough Charlie. You could say that Gary is red and kind and it would also be true that he is cold and big. Being round and nice automatically means a person is kind. Maybe someone is rough and blue with the cold. If a kind person is also young and round shaped, they will be colored blue. People who are big and kind and feel down and blue tend to have rough skin. A person who is round shaped while also being quite cold tends to be nice. Kind people who are nice find that they must also be rough. It's always true that round, kind people are rough as well.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is green.
True
1
proof
[(triple7)]
("Bob" "is" "green" "+")
triple7
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Alan is blue.
True
4
proof
[(((triple3 triple1 triple2) -> rule3))]
("Alan" "is" "blue" "+")
((triple3 triple1 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule3))]
("Alan" "is" "blue" "-")
((triple3 triple1 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
True
8
proof
[(((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2) OR ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2))]
("Alan" "is" "cold" "+")
((((triple2 triple3) -> (rule7 % int3)) ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not cold.
False
8
inv-proof
[(((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2) OR ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2))]
("Alan" "is" "cold" "-")
((((triple2 triple3) -> (rule7 % int3)) ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
True
10
proof
[(((triple2 ((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5))]
("Alan" "is" "nice" "+")
((triple2 ((((triple2 triple3) -> (rule7 % int4)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not nice.
False
10
inv-proof
[(((triple2 ((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5))]
("Alan" "is" "nice" "-")
((triple2 ((((triple2 triple3) -> (rule7 % int4)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@4: Bob is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule7 <- rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@5: Bob is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule5 <- rule2 <- rule4 <- FAIL)]]
("Bob" "is" "rough" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Bob is round.[(triple6)] Bob is young.[(triple5)] Charlie is rough.[(triple8)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Alan is blue.[(((triple3 triple1 triple2) -> rule3))] Alan is rough.[(((triple2 triple3) -> rule7) OR ((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4))] @2: Alan is cold.[(((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2) OR ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2))] @3: Alan is nice.[(((triple2 ((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 triple1 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple3) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple2 triple3) -> (rule7 % int3)) ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 ((((triple2 triple3) -> (rule7 % int4)) ((triple3 triple1 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple3 triple1 triple2) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is young, but very kind to others; Alan is big, with round features.
Bob is young and round, he is also green.
They always call him rough Charlie.
You could say that Gary is red and kind and it would also be true that he is cold and big.
Being round and nice automatically means a person is kind.
Maybe someone is rough and blue with the cold.
If a kind person is also young and round shaped, they will be colored blue.
People who are big and kind and feel down and blue tend to have rough skin.
A person who is round shaped while also being quite cold tends to be nice.
Kind people who are nice find that they must also be rough.
It's always true that round, kind people are rough as well.