Erin is green. Fiona is smart. Gary is green. Harry is nice. If Erin is rough and Erin is smart then Erin is not cold. If Erin is nice and Erin is rough then Erin is big. If Erin is rough then Erin is round. If someone is rough and not big then they are not cold. If someone is nice then they are green. If someone is smart and cold then they are green.
Erin is green.
("Erin" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Erin is rough and Erin is smart then Erin is not cold.
((("Erin" "is" "rough" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "cold" "-"))
If Erin is nice and Erin is rough then Erin is big.
((("Erin" "is" "nice" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "big" "+"))
If Erin is rough then Erin is round.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "round" "+"))
If someone is rough and not big then they are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "-"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and cold then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fiona is smart.
True
1
proof
[(triple2)]
("Fiona" "is" "smart" "+")
triple2
Harry is not nice.
False
1
inv-proof
[(triple4)]
("Harry" "is" "nice" "-")
triple4
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is green.[(triple1)] Fiona is smart.[(triple2)] Gary is green.[(triple3)] Harry is nice.[(triple4)] @1: Harry is green.[(((triple4) -> rule5))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
((triple4) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1