Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. If something is blue then it is smart. If Fiona is quiet and Fiona is white then Fiona is kind. All smart, round things are quiet.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Fiona is quiet and Fiona is white then Fiona is kind.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "kind" "+"))
All smart, round things are quiet.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Fiona is kind.
True
1
proof
[(triple7 OR ((((triple9 triple8) -> rule3) triple10) -> rule2))]
("Fiona" "is" "kind" "+")
triple7
((((triple9 triple8) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is not round.
False
1
inv-proof
[(triple5)]
("Erin" "is" "round" "-")
triple5
Fiona is quiet.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple9 triple8) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple9 triple8) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple6 triple5) -> rule3) OR ((((triple1) -> rule1) triple5) -> rule3))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple1) -> rule1))] Fiona is kind.[(triple7 OR ((((triple9 triple8) -> rule3) triple10) -> rule2))] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is quiet.[(((triple9 triple8) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((triple6 triple5) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple1) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((((triple9 triple8) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple9 triple8) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1