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