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