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