Anne is big. Dave is furry. Erin is smart. Fiona is kind. All big people are kind. If Fiona is young then Fiona is big.
Anne is big.
("Anne" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is young then Fiona is big.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "big" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Dave is not furry.
False
1
inv-proof
[(triple2)]
("Dave" "is" "furry" "-")
triple2
Anne is kind.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is big.[(triple1)] Dave is furry.[(triple2)] Erin is smart.[(triple3)] Fiona is kind.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1