Anne is rough. Erin is cold. Erin is red. Erin is rough. Erin is white. Fiona is blue. Fiona is green. Fiona is red. Fiona is rough. Harry is big. Harry is green. Harry is red. All blue, red things are green. Cold things are green.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
All blue, red things are green.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Erin is rough.
True
1
proof
[(triple4)]
("Erin" "is" "rough" "+")
triple4
Harry is not red.
False
1
inv-proof
[(triple12)]
("Harry" "is" "red" "-")
triple12
Erin is green.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "-")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is rough.[(triple1)] Erin is cold.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7 OR ((triple6 triple8) -> rule1))] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] @1: Erin is green.[(((triple2) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple6 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1