Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Erin is kind. Erin is red. Erin is smart. Erin is white. Erin is young. Fiona is big. Fiona is kind. Fiona is red. Fiona is smart. Fiona is young. All smart, big things are white.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All smart, big things are white.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Erin is smart.
True
1
proof
[(triple8)]
("Erin" "is" "smart" "+")
triple8
Erin is not white.
False
1
inv-proof
[(triple9)]
("Erin" "is" "white" "-")
triple9
Fiona is white.
True
3
proof
[(((triple14 triple11) -> rule1))]
("Fiona" "is" "white" "+")
((triple14 triple11) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple14 triple11) -> rule1))]
("Fiona" "is" "white" "-")
((triple14 triple11) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Fiona is big.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is white.[(((triple14 triple11) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
((triple14 triple11) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1