Anne is furry. Anne is green. Anne is not rough. Anne is round. Anne is young. Erin is green. Erin is not rough. Erin is round. Erin is not young. Fiona is not big. Fiona is not furry. Fiona is round. Harry is big. Harry is green. Harry is not red. Harry is not young. If something is big and not furry then it is young. If Harry is rough and Harry is big then Harry is not round. If Harry is not red and Harry is not young then Harry is rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not young.
("Harry" "is" "young" "-")
If something is big and not furry then it is young.
((("something" "is" "big" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "+"))
If Harry is rough and Harry is big then Harry is not round.
((("Harry" "is" "rough" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "round" "-"))
If Harry is not red and Harry is not young then Harry is rough.
((("Harry" "is" "red" "~") ("Harry" "is" "young" "~")) -> ("Harry" "is" "rough" "+"))
Harry is not red.
True
1
proof
[(triple15)]
("Harry" "is" "red" "-")
triple15
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Harry is rough.
True
3
proof
[(((triple15 triple16) -> rule3))]
("Harry" "is" "rough" "+")
((triple15 triple16) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple15 triple16) -> rule3))]
("Harry" "is" "rough" "-")
((triple15 triple16) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not round.
True
5
proof
[(((((triple15 triple16) -> rule3) triple13) -> rule2))]
("Harry" "is" "round" "-")
((((triple15 triple16) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
False
5
inv-proof
[(((((triple15 triple16) -> rule3) triple13) -> rule2))]
("Harry" "is" "round" "+")
((((triple15 triple16) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Erin is green.[(triple6)] Erin is not rough.[(triple7)] Erin is not young.[(triple9)] Erin is round.[(triple8)] Fiona is not big.[(triple10)] Fiona is not furry.[(triple11)] Fiona is round.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is not red.[(triple15)] Harry is not young.[(triple16)] @1: Harry is rough.[(((triple15 triple16) -> rule3))] @2: Harry is not round.[(((((triple15 triple16) -> rule3) triple13) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Erin is not young.
("Erin" "is" "young" "-")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple10
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is not red.
("Harry" "is" "red" "-")
triple15
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
((triple15 triple16) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not round.
("Harry" "is" "round" "-")
((((triple15 triple16) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2