That rough but kind guy is Bob, the green one. The big young man with the round body who seems to be having a rough time due to being green is named Charlie. Dave, like all young people, is nice. Eric is blue and cold. Kind young people are red. A big round person is nice. Big people who are red in color are often nice. A rough and round person is also a big person. Red and kind people always seem to be big as well. All men who happen to be red and big, will also be blue. People who are rough are often rather kind as well.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is blue.
True
1
proof
[(triple12)]
("Eric" "is" "blue" "+")
triple12
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is kind.
True
2
proof
[(((triple6) -> rule7))]
("Charlie" "is" "kind" "+")
((triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple6) -> rule7))]
("Charlie" "is" "kind" "-")
((triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
True
4
proof
[(((((triple6) -> rule7) triple4) -> rule1))]
("Charlie" "is" "red" "+")
((((triple6) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not red.
False
4
inv-proof
[(((((triple6) -> rule7) triple4) -> rule1))]
("Charlie" "is" "red" "-")
((((triple6) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
True
6
proof
[(((((((triple6) -> rule7) triple4) -> rule1) triple8) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple5 triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule6))]
("Charlie" "is" "blue" "+")
((((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple5 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple6) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not blue.
False
6
inv-proof
[(((((((triple6) -> rule7) triple4) -> rule1) triple8) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple5 triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule6))]
("Charlie" "is" "blue" "-")
((((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple5 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple6) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Dave" "is" "big" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is green.[(triple3)] Bob is kind.[(triple2 OR ((triple1) -> rule7))] Bob is rough.[(triple1)] Charlie is big.[(triple8 OR ((triple5 triple6) -> rule4) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5))] Charlie is green.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is nice.[(triple10)] Dave is young.[(triple9)] Eric is blue.[(triple12)] Eric is cold.[(triple11)] @1: Charlie is kind.[(((triple6) -> rule7))] Charlie is nice.[(((triple5 triple8) -> rule2) OR ((triple5 ((triple5 triple6) -> rule4)) -> rule2) OR ((triple8 ((((triple6) -> rule7) triple4) -> rule1)) -> rule3) OR ((((triple5 triple6) -> rule4) ((((triple6) -> rule7) triple4) -> rule1)) -> rule3) OR ((triple5 ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5) ((((triple6) -> rule7) triple4) -> rule1)) -> rule3))] @2: Charlie is red.[(((((triple6) -> rule7) triple4) -> rule1))] @3: Charlie is blue.[(((((((triple6) -> rule7) triple4) -> rule1) triple8) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple5 triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
((triple5 triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2)) ((triple6) -> (rule7 % int3))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Eric is cold.
("Eric" "is" "cold" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple5 ((triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple8 ((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 triple6) -> (rule4 % int4)) ((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple5 ((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple6) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple6) -> (rule7 % int4))) -> (rule5 % int2)) ((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((triple6) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple6) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple5 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((((((triple6) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple6) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
That rough but kind guy is Bob, the green one.
The big young man with the round body who seems to be having a rough time due to being green is named Charlie.
Dave, like all young people, is nice.
Eric is blue and cold.
Kind young people are red.
A big round person is nice.
Big people who are red in color are often nice.
A rough and round person is also a big person.
Red and kind people always seem to be big as well.
All men who happen to be red and big, will also be blue.
People who are rough are often rather kind as well.