Dave is big. Dave is furry. Dave is green. Dave is rough. Dave is young. Fiona is not big. Fiona is not green. Fiona is quiet. Fiona is rough. Fiona is young. If something is green and not rough then it is big. If something is green and rough then it is big. If something is white and not quiet then it is young. If something is green and not quiet then it is white. If something is rough then it is white. If something is green and not rough then it is not furry. Green things are furry. If Fiona is furry then Fiona is green.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is green and not rough then it is big.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "+"))
If something is green and rough then it is big.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is white and not quiet then it is young.
((("something" "is" "white" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "young" "+"))
If something is green and not quiet then it is white.
((("something" "is" "green" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is green and not rough then it is not furry.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "furry" "-"))
Green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Fiona is furry then Fiona is green.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "green" "+"))
Fiona is rough.
True
1
proof
[(triple9)]
("Fiona" "is" "rough" "+")
triple9
Fiona is not quiet.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "quiet" "-")
triple8
Fiona is white.
True
2
proof
[(((triple9) -> rule5))]
("Fiona" "is" "white" "+")
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule5))]
("Fiona" "is" "white" "-")
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "furry" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is big.[(triple1 OR ((triple3 triple4) -> rule2))] Dave is furry.[(triple2 OR ((triple3) -> rule7))] Dave is green.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Fiona is not big.[(triple6)] Fiona is not green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Dave is white.[(((triple4) -> rule5))] Fiona is white.[(((triple9) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple3 triple4) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple3) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
((triple4) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1