Dave is nice. Dave is round. Dave is young. Erin is nice. Erin is smart. Erin is white. Fiona is smart. Fiona is white. Fiona is young. Gary is furry. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. Smart, nice people are big.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Smart, nice people are big.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Gary is smart.
True
1
proof
[(triple13)]
("Gary" "is" "smart" "+")
triple13
Dave is not young.
False
1
inv-proof
[(triple3)]
("Dave" "is" "young" "-")
triple3
Erin is big.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Erin" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple13 triple11) -> rule1))]
("Gary" "is" "big" "-")
((triple13 triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Dave is nice.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is big.[(((triple5 triple4) -> rule1))] Gary is big.[(((triple13 triple11) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Erin is big.
("Erin" "is" "big" "+")
((triple5 triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple13 triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1