Erin is nice. Fiona is blue. If someone is nice then they are blue. If Erin is red and Erin is nice then Erin is round. All rough people are big. If Fiona is blue then Fiona is round. Kind people are big. If someone is big then they are round.
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Erin is red and Erin is nice then Erin is round.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "round" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Fiona is blue then Fiona is round.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "round" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Fiona is round.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "round" "+")
((triple2) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "round" "-")
((triple2) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "big" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Erin is nice.[(triple1)] Fiona is blue.[(triple2)] @1: Erin is blue.[(((triple1) -> rule1))] Fiona is round.[(((triple2) -> rule4))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1