Erin is young. Fiona is big. Fiona is furry. If Erin is not nice then Erin is big. If Fiona is young and Fiona is rough then Fiona is red. If Erin is not red then Erin is rough. All young, nice people are cold. All big, furry people are cold. If Fiona is nice and Fiona is not red then Fiona is cold. Red, young people are furry. If someone is nice and not rough then they are furry.
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If Erin is not nice then Erin is big.
((("Erin" "is" "nice" "~")) -> ("Erin" "is" "big" "+"))
If Fiona is young and Fiona is rough then Fiona is red.
((("Fiona" "is" "young" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
If Erin is not red then Erin is rough.
((("Erin" "is" "red" "~")) -> ("Erin" "is" "rough" "+"))
All young, nice people are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All big, furry people are cold.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is nice and Fiona is not red then Fiona is cold.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "cold" "+"))
Red, young people are furry.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and not rough then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "furry" "+"))
Fiona is big.
True
1
proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple1)]
("Erin" "is" "young" "-")
triple1
Fiona is cold.
True
3
proof
[(((triple2 triple3) -> rule5))]
("Fiona" "is" "cold" "+")
((triple2 triple3) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Fiona" "is" "cold" "-")
((triple2 triple3) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is young.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3)] @1: Fiona is cold.[(((triple2 triple3) -> rule5))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2 triple3) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1