Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is young. Fiona is round. If Fiona is big then Fiona is young. Round, kind things are furry. All red, big things are kind.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is big then Fiona is young.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "young" "+"))
Round, kind things are furry.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All red, big things are kind.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Dave is kind.
True
3
proof
[(((triple4 triple1) -> rule3))]
("Dave" "is" "kind" "+")
((triple4 triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple4 triple1) -> rule3))]
("Dave" "is" "kind" "-")
((triple4 triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple5 ((triple4 triple1) -> rule3)) -> rule2))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Fiona is round.[(triple7)] @1: Dave is kind.[(((triple4 triple1) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple5 ((triple4 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1