Anne is blue. Anne is furry. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is round. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Harry is blue. Harry is not cold. Harry is furry. Harry is green. Harry is round. If something is blue then it is green. If Fiona is nice and Fiona is round then Fiona is green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Fiona is nice and Fiona is round then Fiona is green.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
Fiona is nice.
True
1
proof
[(triple11)]
("Fiona" "is" "nice" "+")
triple11
Erin is not furry.
False
1
inv-proof
[(triple4)]
("Erin" "is" "furry" "-")
triple4
Anne is green.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "green" "-")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple8) -> rule1))] Fiona is nice.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple14)] Harry is green.[(triple15 OR ((triple12) -> rule1))] Harry is not cold.[(triple13)] Harry is round.[(triple16)] @1: Anne is green.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
((triple12) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1