Erin is red. Fiona is green. Fiona is smart. Gary is cold. Gary is red. Gary is smart. Harry is red. Smart people are rough. If Fiona is big then Fiona is green. If Gary is rough then Gary is green.
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is big then Fiona is green.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "green" "+"))
If Gary is rough then Gary is green.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "green" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Harry is not red.
False
1
inv-proof
[(triple7)]
("Harry" "is" "red" "-")
triple7
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is red.[(triple1)] Fiona is green.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Harry is red.[(triple7)] @1: Fiona is rough.[(((triple3) -> rule1))] Gary is rough.[(((triple6) -> rule1))] @2: Gary is green.[(((((triple6) -> rule1)) -> rule3))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2