Being young, Bob is still green and blue. Dave is blue and cold. Eric always goes out of his way to show that he is kind to people. Harry is a man who is both round and rough. People who are big and kind are also round. Big and round people can't help but be cold all of the time. Kind, rough people who are nice are also cold. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. It's just a fact that a blue person is a kind person. A person that is green also someone who is big.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Dave is kind.
True
2
proof
[(((triple5) -> rule5))]
("Dave" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple3) -> rule5))]
("Bob" "is" "kind" "-")
((triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
True
5
proof
[(((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1))]
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not round.
False
5
inv-proof
[(((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1))]
("Bob" "is" "round" "-")
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
True
8
proof
[(((((triple2) -> rule6) ((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule2))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not cold.
False
8
inv-proof
[(((((triple2) -> rule6) ((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule2))]
("Bob" "is" "cold" "-")
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Eric is kind.[(triple6)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Bob is big.[(((triple2) -> rule6))] Bob is kind.[(((triple3) -> rule5))] Dave is kind.[(((triple5) -> rule5))] @2: Bob is round.[(((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1))] @3: Bob is cold.[(((((triple2) -> rule6) ((((triple3) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule6 % int4)) ((((triple3) -> (rule5 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Being young, Bob is still green and blue.
Dave is blue and cold.
Eric always goes out of his way to show that he is kind to people.
Harry is a man who is both round and rough.
People who are big and kind are also round.
Big and round people can't help but be cold all of the time.
Kind, rough people who are nice are also cold.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
It's just a fact that a blue person is a kind person.
A person that is green also someone who is big.