Anne is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Gary is cold. Gary is furry. If something is round and nice then it is kind. Quiet things are kind. If Fiona is kind and Fiona is not quiet then Fiona is smart.
Anne is kind.
("Anne" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is round and nice then it is kind.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Fiona is kind and Fiona is not quiet then Fiona is smart.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
Gary is not furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "-")
triple7
Fiona is kind.
True
2
proof
[(((triple3) -> rule2) OR ((triple4 triple2) -> rule1))]
("Fiona" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple4 triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple4 triple2) -> rule1))]
("Fiona" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple4 triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is kind.[(((triple3) -> rule2) OR ((triple4 triple2) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple4 triple2) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1