Charlie is rough. Erin is rough. Fiona is smart. If Erin is green and Erin is young then Erin is smart. If something is smart and young then it is big. All rough things are big. If something is kind then it is green. All green things are rough. All green things are smart.
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Erin is green and Erin is young then Erin is smart.
((("Erin" "is" "green" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "smart" "+"))
If something is smart and young then it is big.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Erin is rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "+")
triple2
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Fiona is not big.
Unknown
inv-rconc
[@3: Fiona is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Charlie is rough.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is big.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule3))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1