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