Anne is big. Fiona is white. Gary is nice. All big, furry people are white. Nice, kind people are green. Big people are green. Kind people are big. All furry people are kind. If someone is big then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All big, furry people are white.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Nice, kind people are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Anne is furry.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "green" "-")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is furry.
Unknown
rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "furry" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is big.[(triple1)] Fiona is white.[(triple2)] Gary is nice.[(triple3)] @1: Anne is furry.[(((triple1) -> rule6))] Anne is green.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule5))] Anne is white.[(((triple1 ((triple1) -> rule6)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2