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