Fiona is big. Gary is green. If someone is kind and big then they are nice. All green people are nice. Blue people are furry. If Gary is young then Gary is kind. If Fiona is green and Fiona is furry then Fiona is nice. If Fiona is green and Fiona is furry then Fiona is young. If someone is big and green then they are young. If Fiona is nice and Fiona is blue then Fiona is furry.
Fiona is big.
("Fiona" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Gary is young then Gary is kind.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "kind" "+"))
If Fiona is green and Fiona is furry then Fiona is nice.
((("Fiona" "is" "green" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "nice" "+"))
If Fiona is green and Fiona is furry then Fiona is young.
((("Fiona" "is" "green" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "young" "+"))
If someone is big and green then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Fiona is nice and Fiona is blue then Fiona is furry.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple2)]
("Gary" "is" "green" "-")
triple2
Gary is nice.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Fiona is big.[(triple1)] Gary is green.[(triple2)] @1: Gary is nice.[(((triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1