Bob is big. Bob is furry. Bob is nice. Bob is quiet. Erin is big. Erin is cold. Erin is furry. Erin is quiet. Erin is white. Harry is big. Harry is cold. Harry is quiet. If Harry is furry and Harry is cold then Harry is nice. Furry things are blue. Blue, big things are nice. Blue, white things are cold. Blue, cold things are quiet. If Erin is cold then Erin is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is furry and Harry is cold then Harry is nice.
((("Harry" "is" "furry" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "nice" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Blue, big things are nice.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Blue, white things are cold.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Blue, cold things are quiet.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If Erin is cold then Erin is furry.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple7 OR ((triple6) -> rule6))]
("Erin" "is" "furry" "+")
triple7
((triple6) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Erin is blue.
True
2
proof
[(((triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule2))]
("Erin" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Bob is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((((triple2) -> rule2) triple1) -> rule3))] Bob is quiet.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6 OR ((((triple7) -> rule2) triple9) -> rule4))] Erin is furry.[(triple7 OR ((triple6) -> rule6))] Erin is quiet.[(triple8 OR ((((triple7) -> rule2) triple6) -> rule5) OR ((((((triple6) -> rule6)) -> rule2) triple6) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple9) -> rule4)) -> rule5) OR ((((((triple6) -> rule6)) -> rule2) ((((triple7) -> rule2) triple9) -> rule4)) -> rule5))] Erin is white.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] @1: Bob is blue.[(((triple2) -> rule2))] Erin is blue.[(((triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] @2: Erin is nice.[(((((triple7) -> rule2) triple5) -> rule3) OR ((((((triple6) -> rule6)) -> rule2) triple5) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((((triple7) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple6) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((((triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple7) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3