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