Bob is cold. Bob is quiet. Charlie is green. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is round. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Cold people are big.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Dave is quiet.
True
1
proof
[(triple6)]
("Dave" "is" "quiet" "+")
triple6
Harry is not rough.
False
1
inv-proof
[(triple12)]
("Harry" "is" "rough" "-")
triple12
Harry is big.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "big" "-")
((triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Charlie is green.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] @1: Bob is big.[(((triple1) -> rule1))] Harry is big.[(((triple9) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1