Bob is blue. Bob is nice. Bob is round. Dave is red. Fiona is big. Fiona is round. Harry is furry. All nice people are furry. If someone is big then they are round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Bob is furry.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Dave is red.[(triple4)] Fiona is big.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2))] Harry is furry.[(triple7)] @1: Bob is furry.[(((triple2) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1