Anne is big. Fiona is white. Gary is big. Harry is big. If something is white then it is blue. Young, blue things are kind.
Anne is big.
("Anne" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Young, blue things are kind.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple4)]
("Harry" "is" "big" "-")
triple4
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Fiona is white.[(triple2)] Gary is big.[(triple3)] Harry is big.[(triple4)] @1: Fiona is blue.[(((triple2) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1