Anne is furry. Anne is green. Charlie is nice. Charlie is red. Fiona is green. Gary is green. Gary is red. All smart, red things are big. All furry things are nice. Cold, furry things are big. All smart, red things are cold. Nice things are big. If something is big then it is furry. All nice things are big. Cold things are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
All smart, red things are big.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Cold, furry things are big.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All smart, red things are cold.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Charlie is big.
True
2
proof
[(((triple3) -> rule5) OR ((triple3) -> rule7))]
("Charlie" "is" "big" "+")
((triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Fiona is green.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Anne is nice.[(((triple1) -> rule2))] Charlie is big.[(((triple3) -> rule5) OR ((triple3) -> rule7))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule2)) -> rule7))] Charlie is furry.[(((((triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule7)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2