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