Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is white. Charlie is furry. Charlie is smart. Fiona is green. Fiona is not smart. Gary is nice. Gary is not round. Gary is not smart. Round things are smart. Kind things are round. If Gary is round then Gary is green.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
Charlie is furry.
True
1
proof
[(triple6)]
("Charlie" "is" "furry" "+")
triple6
Fiona is smart.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "smart" "+")
triple9
Bob is round.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "round" "-")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Bob" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not smart.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Bob" "is" "smart" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not green.[(triple2)] Bob is white.[(triple5)] Charlie is furry.[(triple6)] Charlie is smart.[(triple7)] Fiona is green.[(triple8)] Fiona is not smart.[(triple9)] Gary is nice.[(triple10)] Gary is not round.[(triple11)] Gary is not smart.[(triple12)] @1: Bob is round.[(((triple3) -> rule2))] @2: Bob is smart.[(((((triple3) -> rule2)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not round.
("Gary" "is" "round" "-")
triple11
Gary is not smart.
("Gary" "is" "smart" "-")
triple12
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2