Bob is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Charlie is both young and fairly round in size. Fred is young, but very kind to others. Fred is big, with round features. Harry looks red to most people, with blue features. Cold, rough people are always green. A kind person who is green is usually round. If a nice person is round shaped, they feel blue about it. A blue and round human being will also be a green human being. Nice, kind people who look rough almost always feel cold. Young people who are nice and cold, are rather green. A green colored and rough person will be quite kind.
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fred is kind.
True
1
proof
[(triple9)]
("Fred" "is" "kind" "+")
triple9
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Bob is kind.
True
3
proof
[(((triple3 triple1) -> rule7) OR ((((triple4 triple1) -> rule1) triple1) -> rule7))]
("Bob" "is" "kind" "+")
((triple3 triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4 triple1) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule7) OR ((((triple4 triple1) -> rule1) triple1) -> rule7))]
("Bob" "is" "kind" "-")
((triple3 triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4 triple1) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
True
5
proof
[(((((triple3 triple1) -> rule7) triple3) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2))]
("Bob" "is" "round" "+")
((((triple3 triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not round.
False
5
inv-proof
[(((((triple3 triple1) -> rule7) triple3) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2))]
("Bob" "is" "round" "-")
((((triple3 triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
True
7
proof
[(((triple2 ((((triple3 triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "blue" "+")
((triple2 ((((triple3 triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple2 ((((triple3 triple1) -> (rule7 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not blue.
False
7
inv-proof
[(((triple2 ((((triple3 triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3))]
("Bob" "is" "blue" "-")
((triple2 ((((triple3 triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple2 ((((triple3 triple1) -> (rule7 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is cold.[(triple4 OR ((triple2 ((triple3 triple1) -> rule7) triple1) -> rule5))] Bob is green.[(triple3 OR ((triple4 triple1) -> rule1))] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] Harry is blue.[(triple12)] Harry is red.[(triple11)] @1: Bob is kind.[(((triple3 triple1) -> rule7) OR ((((triple4 triple1) -> rule1) triple1) -> rule7))] @2: Bob is round.[(((((triple3 triple1) -> rule7) triple3) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2))] @3: Bob is blue.[(((triple2 ((((triple3 triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((triple2 ((triple3 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4 triple1) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple3 triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule1 % int3)) triple1) -> (rule7 % int2)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((((triple3 triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple2 ((((triple3 triple1) -> (rule7 % int4)) ((triple4 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple2 ((((((triple4 triple1) -> (rule1 % int4)) triple1) -> (rule7 % int3)) ((triple4 triple1) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Charlie is both young and fairly round in size.
Fred is young, but very kind to others; Fred is big, with round features.
Harry looks red to most people, with blue features.
Cold, rough people are always green.
A kind person who is green is usually round.
If a nice person is round shaped, they feel blue about it.
A blue and round human being will also be a green human being.
Nice, kind people who look rough almost always feel cold.
Young people who are nice and cold, are rather green.
A green colored and rough person will be quite kind.