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