Charlie is both big and round, with blue features. Dave is rough, round and young but also red. Harry is rough around the edges, but he's often blue and always nice. A cold human with round and rough aspects is always kind. A cold, red person with a kind disposition will certainly be big. Red and round people will be cold even in the summer. A person who is round and nice is cold. Nice, kind people who look rough almost always feel cold.
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Dave is cold.
True
3
proof
[(((triple7 triple5) -> rule3))]
("Dave" "is" "cold" "+")
((triple7 triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Dave" "is" "cold" "-")
((triple7 triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
True
6
proof
[(((((triple7 triple5) -> rule3) triple5 triple6) -> rule1))]
("Dave" "is" "kind" "+")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((((triple7 triple5) -> rule3) triple5 triple6) -> rule1))]
("Dave" "is" "kind" "-")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
True
11
proof
[(((triple7 ((triple7 triple5) -> rule3) ((((triple7 triple5) -> rule3) triple5 triple6) -> rule1)) -> rule2))]
("Dave" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule3 % int3)) ((((triple7 triple5) -> (rule3 % int3)) triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not big.
False
11
inv-proof
[(((triple7 ((triple7 triple5) -> rule3) ((((triple7 triple5) -> rule3) triple5 triple6) -> rule1)) -> rule2))]
("Dave" "is" "big" "-")
((triple7 ((triple7 triple5) -> (rule3 % int3)) ((((triple7 triple5) -> (rule3 % int3)) triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Charlie is round.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Harry is blue.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Dave is cold.[(((triple7 triple5) -> rule3))] @2: Dave is kind.[(((((triple7 triple5) -> rule3) triple5 triple6) -> rule1))] @3: Dave is big.[(((triple7 ((triple7 triple5) -> rule3) ((((triple7 triple5) -> rule3) triple5 triple6) -> rule1)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule3 % int3)) ((((triple7 triple5) -> (rule3 % int3)) triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is both big and round, with blue features.
Dave is rough, round and young but also red.
Harry is rough around the edges, but he's often blue and always nice.
A cold human with round and rough aspects is always kind.
A cold, red person with a kind disposition will certainly be big.
Red and round people will be cold even in the summer.
A person who is round and nice is cold.
Nice, kind people who look rough almost always feel cold.