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