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