Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is white. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Big, green things are young. Green, round things are quiet.
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Big, green things are young.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Green, round things are quiet.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple4 OR ((triple2 triple5) -> rule2))]
("Erin" "is" "quiet" "+")
triple4
((triple2 triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is not round.
False
1
inv-proof
[(triple14)]
("Gary" "is" "round" "-")
triple14
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple2 triple5) -> rule2))] Erin is round.[(triple5)] Erin is young.[(triple6 OR ((triple1 triple2) -> rule1))] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is white.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13 OR ((triple11 triple14) -> rule2))] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple10 triple11) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple2 triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
((triple1 triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple11 triple14) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple10 triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1