Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is young. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is young. All furry, quiet things are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All furry, quiet things are round.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Fiona is not rough.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "rough" "-")
triple11
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple2 triple4) -> rule1))] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple2 triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12