Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is round. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is young. Fiona is green. Fiona is quiet. All kind people are round. If Erin is furry and Erin is young then Erin is round.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Erin is furry and Erin is young then Erin is round.
((("Erin" "is" "furry" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "round" "+"))
Erin is furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9 OR ((triple6 triple10) -> rule2))] Erin is young.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
((triple6 triple10) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12