Bob is furry. Bob is rough. Charlie is big. Charlie is rough. Charlie is not white. Harry is not cold. Harry is smart. All furry, rough people are white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is smart.
("Harry" "is" "smart" "+")
All furry, rough people are white.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Bob is white.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Bob" "is" "white" "-")
((triple1 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is not white.[(triple5)] Charlie is rough.[(triple4)] Harry is not cold.[(triple6)] Harry is smart.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Harry is not cold.
("Harry" "is" "cold" "-")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1