Erin is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Harry is cold. Harry is quiet. If Harry is big then Harry is cold. All furry, big people are green. If someone is kind and green then they are furry. If Erin is rough then Erin is cold. Big people are green. If Fiona is rough and Fiona is kind then Fiona is cold. All cold people are furry. If Fiona is rough and Fiona is furry then Fiona is big.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is big then Harry is cold.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "cold" "+"))
All furry, big people are green.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Fiona is rough and Fiona is kind then Fiona is cold.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "cold" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is rough and Fiona is furry then Fiona is big.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Fiona is not big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "-")
triple2
Erin is cold.
True
2
proof
[(((triple1) -> rule4))]
("Erin" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple6) -> rule7))]
("Harry" "is" "furry" "-")
((triple6) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Erin is rough.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple2) -> rule5)) -> rule3))] Fiona is green.[(triple4 OR ((triple2) -> rule5) OR ((triple3 triple2) -> rule2))] Fiona is kind.[(triple5)] Harry is cold.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is cold.[(((triple1) -> rule4))] Harry is furry.[(((triple6) -> rule7))] @2: Erin is furry.[(((((triple1) -> rule4)) -> rule7))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
((triple5 triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple5 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple2) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple3 triple2) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple6) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2