Charlie is kind. Charlie is red. Charlie is rough. Dave is kind. Dave is rough. Dave is smart. Erin is blue. Erin is furry. Erin is rough. Erin is smart. Erin is white. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. All red people are smart. Kind, smart people are white.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Kind, smart people are white.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Fiona is rough.
True
1
proof
[(triple15)]
("Fiona" "is" "rough" "+")
triple15
Fiona is not kind.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "kind" "-")
triple13
Dave is white.
True
3
proof
[(((triple4 triple6) -> rule2))]
("Dave" "is" "white" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Fiona is blue.[(triple12)] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16 OR ((triple14) -> rule1))] @1: Charlie is smart.[(((triple2) -> rule1))] Dave is white.[(((triple4 triple6) -> rule2))] Fiona is white.[(((triple13 triple16) -> rule2) OR ((triple13 ((triple14) -> rule1)) -> rule2))] @2: Charlie is white.[(((triple1 ((triple2) -> rule1)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
((triple14) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple13 triple16) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple13 ((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2