Bob is not big. Bob is green. Bob is kind. Bob is white. Bob is young. Dave is big. Dave is kind. Dave is white. Dave is young. Erin is young. Fiona is not big. Fiona is not furry. If Fiona is kind then Fiona is young. If something is furry and not big then it is young. All round things are young. All white things are not furry. All round things are not furry. If Dave is furry and Dave is kind then Dave is round. All big things are round. If something is round and not furry then it is not green.
Bob is not big.
("Bob" "is" "big" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
If Fiona is kind then Fiona is young.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "young" "+"))
If something is furry and not big then it is young.
((("something" "is" "furry" "+") ("something" "is" "big" "~")) -> ("something" "is" "young" "+"))
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
All white things are not furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
All round things are not furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "-"))
If Dave is furry and Dave is kind then Dave is round.
((("Dave" "is" "furry" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "round" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is round and not furry then it is not green.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "-"))
Fiona is not furry.
True
1
proof
[(triple12)]
("Fiona" "is" "furry" "-")
triple12
Bob is not white.
False
1
inv-proof
[(triple4)]
("Bob" "is" "white" "-")
triple4
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is kind.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9 OR ((((triple6) -> rule7)) -> rule3))] Erin is young.[(triple10)] Fiona is not big.[(triple11)] Fiona is not furry.[(triple12)] @1: Bob is not furry.[(((triple4) -> rule4))] Dave is not furry.[(((triple8) -> rule4) OR ((((triple6) -> rule7)) -> rule5))] Dave is round.[(((triple6) -> rule7))] @2: Dave is not green.[(((((triple6) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule5)) -> rule8))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple11
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple12
Bob is not furry.
("Bob" "is" "furry" "-")
((triple4) -> (rule4 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
((triple8) -> (rule4 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not green.
("Dave" "is" "green" "-")
((((triple6) -> (rule7 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is round.
("Dave" "is" "round" "+")
int3