Dave is big. Dave is furry. Dave is quiet. Dave is round. Dave is not young. Erin is blue. Erin is quiet. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is white. All quiet, round things are blue. If Erin is young and Erin is furry then Erin is not big. If something is white and young then it is furry. Young things are not big. If something is furry then it is big. If something is quiet and not young then it is round.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All quiet, round things are blue.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If Erin is young and Erin is furry then Erin is not big.
((("Erin" "is" "young" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "-"))
If something is white and young then it is furry.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Young things are not big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "-"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is quiet and not young then it is round.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "round" "+"))
Dave is furry.
True
1
proof
[(triple2)]
("Dave" "is" "furry" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "blue" "-")
triple9
Dave is blue.
True
3
proof
[(((triple3 triple4) -> rule1) OR ((triple3 ((triple3 triple5) -> rule6)) -> rule1))]
("Dave" "is" "blue" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple3 ((triple3 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not blue.
False
3
inv-proof
[(((triple3 triple4) -> rule1) OR ((triple3 ((triple3 triple5) -> rule6)) -> rule1))]
("Dave" "is" "blue" "-")
((triple3 triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple3 ((triple3 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is not big.
Unknown
inv-rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Dave is big.[(triple1 OR ((triple2) -> rule5))] Dave is furry.[(triple2)] Dave is not young.[(triple5)] Dave is quiet.[(triple3)] Dave is round.[(triple4 OR ((triple3 triple5) -> rule6))] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Fiona is big.[(triple8 OR ((triple10) -> rule5))] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] @1: Dave is blue.[(((triple3 triple4) -> rule1) OR ((triple3 ((triple3 triple5) -> rule6)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is not young.
("Dave" "is" "young" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
((triple3 triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
((triple10) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple3 ((triple3 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2