Anne is big. Anne is green. Anne is round. Fiona is big. Fiona is furry. Fiona is quiet. Harry is not furry. Harry is green. Harry is kind. Harry is quiet. If someone is furry and quiet then they are red. All furry, red people are kind. If someone is round and not big then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is furry and quiet then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All furry, red people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and not big then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "furry" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Fiona is red.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Fiona" "is" "red" "+")
((triple5 triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Fiona" "is" "red" "-")
((triple5 triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is not furry.[(triple7)] Harry is quiet.[(triple10)] @1: Fiona is red.[(((triple5 triple6) -> rule1))] @2: Fiona is kind.[(((triple5 ((triple5 triple6) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is not furry.
("Harry" "is" "furry" "-")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
((triple5 triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2