Bob is big. Bob is furry. Bob is rough. Bob is smart. Fiona is big. Fiona is quiet. Fiona is red. Fiona is smart. Harry is big. Harry is smart. Quiet people are furry. All round, rough people are not red. If someone is furry and not smart then they are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All round, rough people are not red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If someone is furry and not smart then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Fiona is furry.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Fiona is big.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Harry is big.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is furry.[(((triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1