Even though Alan is young, he is still very round and still very red. Big, red Bob is quite kind. Charlie, like all young people, is nice. Fred wears all blue. A person who's big and kind will also be cold. Despite being too big with bright green skin and freezing cold, these people have always been kind. When you meet big guys with red hair, then tend to be cold hearted. Anyone perceived to be rough, cold and kind will also be nice. Blue, red, young people are always going to be kind people, too. If a rather cold person is also kind then they are probably rough. Nice people who are green and red will also have round shapes.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple6)]
("Bob" "is" "big" "+")
triple6
Alan is not red.
False
1
inv-proof
[(triple3)]
("Alan" "is" "red" "-")
triple3
Bob is cold.
True
3
proof
[(((triple6 triple4) -> rule3) OR ((triple6 triple5) -> rule1))]
("Bob" "is" "cold" "+")
((triple6 triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple6 triple4) -> rule3) OR ((triple6 triple5) -> rule1))]
("Bob" "is" "cold" "-")
((triple6 triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
True
5
proof
[(((((triple6 triple4) -> rule3) triple5) -> rule6) OR ((((triple6 triple5) -> rule1) triple5) -> rule6))]
("Bob" "is" "rough" "+")
((((triple6 triple4) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple6 triple4) -> rule3) triple5) -> rule6) OR ((((triple6 triple5) -> rule1) triple5) -> rule6))]
("Bob" "is" "rough" "-")
((((triple6 triple4) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
True
10
proof
[(((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4))]
("Bob" "is" "nice" "+")
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4))]
("Bob" "is" "nice" "-")
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "+")
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Charlie is nice.[(triple8)] Charlie is young.[(triple7)] Fred is blue.[(triple9)] @1: Bob is cold.[(((triple6 triple4) -> rule3) OR ((triple6 triple5) -> rule1))] @2: Bob is rough.[(((((triple6 triple4) -> rule3) triple5) -> rule6) OR ((((triple6 triple5) -> rule1) triple5) -> rule6))] @3: Bob is nice.[(((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple4) -> rule3) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple4) -> rule3) triple5) -> rule4) OR ((((((triple6 triple5) -> rule1) triple5) -> rule6) ((triple6 triple5) -> rule1) triple5) -> rule4))]
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple6 triple4) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple6 triple4) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple4) -> (rule3 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule6 % int2)) ((triple6 triple5) -> (rule1 % int3)) triple5) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Even though Alan is young, he is still very round and still very red.
Big, red Bob is quite kind.
Charlie, like all young people, is nice.
Fred wears all blue.
A person who's big and kind will also be cold.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
When you meet big guys with red hair, then tend to be cold hearted.
Anyone perceived to be rough, cold and kind will also be nice.
Blue, red, young people are always going to be kind people, too.
If a rather cold person is also kind then they are probably rough.
Nice people who are green and red will also have round shapes.