Anne is not blue. Anne is not cold. Anne is green. Anne is rough. Fiona is not blue. Fiona is not green. Fiona is white. Fiona is young. Harry is cold. Harry is young. Young people are white. Furry, cold people are blue.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Furry, cold people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Anne is blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Harry is white.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "white" "-")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is green.[(triple3)] Anne is not blue.[(triple1)] Anne is not cold.[(triple2)] Anne is rough.[(triple4)] Fiona is not blue.[(triple5)] Fiona is not green.[(triple6)] Fiona is white.[(triple7 OR ((triple8) -> rule1))] Fiona is young.[(triple8)] Harry is cold.[(triple9)] Harry is young.[(triple10)] @1: Harry is white.[(((triple10) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple5
Fiona is not green.
("Fiona" "is" "green" "-")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple8) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1