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