Bob is furry. Bob is kind. Bob is round. Bob is smart. Bob is not white. Charlie is furry. Charlie is green. Charlie is nice. Charlie is smart. Charlie is not white. Dave is smart. Dave is not white. Erin is furry. Erin is nice. Erin is round. Erin is white. All nice, white things are not kind. All smart, kind things are furry. If something is nice then it is round. If Dave is furry and Dave is not white then Dave is smart. All nice things are smart. If something is white and not nice then it is green. Furry things are green. If something is nice and not furry then it is green.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
All nice, white things are not kind.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "-"))
All smart, kind things are furry.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If Dave is furry and Dave is not white then Dave is smart.
((("Dave" "is" "furry" "+") ("Dave" "is" "white" "~")) -> ("Dave" "is" "smart" "+"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is white and not nice then it is green.
((("something" "is" "white" "+") ("something" "is" "nice" "~")) -> ("something" "is" "green" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is nice and not furry then it is green.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "+"))
Bob is smart.
True
1
proof
[(triple4)]
("Bob" "is" "smart" "+")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "nice" "-")
triple8
Charlie is round.
True
2
proof
[(((triple8) -> rule3))]
("Charlie" "is" "round" "+")
((triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple8) -> rule3))]
("Charlie" "is" "round" "-")
((triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is furry.[(triple1 OR ((triple4 triple2) -> rule2))] Bob is kind.[(triple2)] Bob is not white.[(triple5)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is furry.[(triple6)] Charlie is green.[(triple7 OR ((triple6) -> rule7))] Charlie is nice.[(triple8)] Charlie is not white.[(triple10)] Charlie is smart.[(triple9 OR ((triple8) -> rule5))] Dave is not white.[(triple12)] Dave is smart.[(triple11)] Erin is furry.[(triple13)] Erin is nice.[(triple14)] Erin is round.[(triple15 OR ((triple14) -> rule3))] Erin is white.[(triple16)] @1: Bob is green.[(((triple1) -> rule7) OR ((((triple4 triple2) -> rule2)) -> rule7))] Charlie is round.[(((triple8) -> rule3))] Erin is green.[(((triple13) -> rule7))] Erin is not kind.[(((triple14 triple16) -> rule1))] Erin is smart.[(((triple14) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple4 triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
((triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is not white.
("Charlie" "is" "white" "-")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
((triple8) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is not white.
("Dave" "is" "white" "-")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
((triple14) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple16
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple4 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple13) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((triple14 triple16) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple14) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1