Dave is big. Dave is cold. Dave is not furry. Erin is big. Erin is furry. Erin is nice. Fiona is white. Green, white people are big. All smart people are not nice. If Erin is furry and Erin is smart then Erin is not cold. If someone is white then they are cold. If someone is nice and not smart then they are green. If someone is big and furry then they are green.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Green, white people are big.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All smart people are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
If Erin is furry and Erin is smart then Erin is not cold.
((("Erin" "is" "furry" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "cold" "-"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and not smart then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "green" "+"))
If someone is big and furry then they are green.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Erin is big.
True
1
proof
[(triple4)]
("Erin" "is" "big" "+")
triple4
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Erin is green.
True
3
proof
[(((triple4 triple5) -> rule6))]
("Erin" "is" "green" "+")
((triple4 triple5) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple7) -> rule4))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Fiona is big.
Unknown
rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fiona" "is" "big" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is not furry.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Fiona is white.[(triple7)] @1: Erin is green.[(((triple4 triple5) -> rule6))] Fiona is cold.[(((triple7) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is not furry.
("Dave" "is" "furry" "-")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple4 triple5) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1