Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is quiet. Dave is rough. Erin is blue. Erin is quiet. Erin is smart. Erin is white. Erin is young. Fiona is blue. Fiona is cold. If something is rough then it is blue. All cold things are quiet. Blue things are smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple15)]
("Fiona" "is" "blue" "+")
triple15
Erin is not blue.
False
1
inv-proof
[(triple10)]
("Erin" "is" "blue" "-")
triple10
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 blue.[(triple1 OR ((triple4) -> rule1))] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2) -> rule2))] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple1) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Erin is blue.[(triple10)] Erin is quiet.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule3))] Erin is white.[(triple13)] Erin is young.[(triple14)] Fiona is blue.[(triple15)] Fiona is cold.[(triple16)] @1: Dave is blue.[(((triple9) -> rule1))] Fiona is quiet.[(((triple16) -> rule2))] Fiona is smart.[(((triple15) -> rule3))] @2: Dave is smart.[(((((triple9) -> rule1)) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple2) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
((triple10) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14
Fiona is blue.
("Fiona" "is" "blue" "+")
triple15
Fiona is cold.
("Fiona" "is" "cold" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple9) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple16) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple15) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2