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