Bob is green. Bob is round. Charlie is big. Charlie is quiet. Charlie is round. Charlie is young. Fiona is furry. Fiona is young. Harry is green. Harry is young. If Bob is big then Bob is green. Green, furry things are rough. Big things are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If Bob is big then Bob is green.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "green" "+"))
Green, furry things are rough.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Charlie is big.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is young.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1