Erin is big. Erin is furry. Erin is green. Erin is round. Erin is white. Harry is big. Harry is blue. Harry is not furry. Harry is green. Harry is white. If someone is red then they are big. All round people are big. If Erin is big then Erin is furry. Round people are red. If Harry is furry and Harry is not big then Harry is green. If someone is green and not red then they are furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Erin is big then Erin is furry.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "furry" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Harry is furry and Harry is not big then Harry is green.
((("Harry" "is" "furry" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "green" "+"))
If someone is green and not red then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "furry" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple4) -> rule4)) -> rule1))] Erin is furry.[(triple2 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1)) -> rule3))] Erin is green.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple9)] Harry is not furry.[(triple8)] Harry is white.[(triple10)] @1: Erin is red.[(((triple4) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple1) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is not furry.
("Harry" "is" "furry" "-")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1