Anne is blue. Anne is cold. Anne is nice. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is rough. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Harry is cold. Harry is red. If someone is blue then they are red. All furry, blue people are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All furry, blue people are red.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Erin is cold.
True
1
proof
[(triple4)]
("Erin" "is" "cold" "+")
triple4
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Anne is red.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "red" "-")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Harry is cold.[(triple14)] Harry is red.[(triple15)] @1: Anne is red.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1