Dave is white. Erin is big. Erin is not kind. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Fiona is cold. Fiona is quiet. Fiona is white. Gary is cold. Gary is round. If Erin is big then Erin is white. All cold things are kind.
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
If Erin is big then Erin is white.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "white" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Fiona is quiet.
True
1
proof
[(triple9)]
("Fiona" "is" "quiet" "+")
triple9
Erin is round.
False
1
inv-proof
[(triple6)]
("Erin" "is" "round" "+")
triple6
Fiona is kind.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "kind" "+")
((triple8) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple11) -> rule2))]
("Gary" "is" "kind" "-")
((triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Dave is white.[(triple1)] Erin is big.[(triple2)] Erin is nice.[(triple4)] Erin is not kind.[(triple3)] Erin is not round.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7 OR ((triple2) -> rule1))] Fiona is cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] Gary is cold.[(triple11)] Gary is round.[(triple12)] @1: Fiona is kind.[(((triple8) -> rule2))] Gary is kind.[(((triple11) -> rule2))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple2) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1