Erin is green. Erin is kind. Erin is round. Erin is smart. Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. If Fiona is smart and Fiona is kind then Fiona is green.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is smart and Fiona is kind then Fiona is green.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "green" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6 OR ((triple10 triple7) -> rule1))] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple10 triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10