Bob is big. Bob is rough. Bob is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Gary is furry. Gary is kind. Gary is rough. Gary is round. Harry is quiet. If something is kind and quiet then it is rough. Rough things are round. If Gary is big and Gary is furry then Gary is kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is kind and quiet then it is rough.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Gary is big and Gary is furry then Gary is kind.
((("Gary" "is" "big" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "kind" "+"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Gary is not furry.
False
1
inv-proof
[(triple8)]
("Gary" "is" "furry" "-")
triple8
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule2))] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple10) -> rule2))] Harry is quiet.[(triple12)] @1: Fiona is rough.[(((triple6 triple7) -> rule1))] @2: Fiona is round.[(((((triple6 triple7) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
((triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6 triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2