Bob is furry. Bob is green. Bob is smart. Dave is green. Dave is nice. Dave is not round. Dave is smart. Fiona is round. Gary is blue. Gary is green. Gary is smart. Gary is young. All round things are nice. If Fiona is not round then Fiona is not furry. All furry, nice things are young. If something is furry and not nice then it is not smart. All nice things are smart. Blue, round things are not furry. All green things are furry. If something is round and smart then it is green.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If Fiona is not round then Fiona is not furry.
((("Fiona" "is" "round" "~")) -> ("Fiona" "is" "furry" "-"))
All furry, nice things are young.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is furry and not nice then it is not smart.
((("something" "is" "furry" "+") ("something" "is" "nice" "~")) -> ("something" "is" "smart" "-"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Blue, round things are not furry.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "-"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is round and smart then it is green.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Gary is not smart.
False
1
inv-proof
[(triple11)]
("Gary" "is" "smart" "-")
triple11
Gary is furry.
True
2
proof
[(((triple10) -> rule7))]
("Gary" "is" "furry" "+")
((triple10) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple4) -> rule7))]
("Dave" "is" "furry" "-")
((triple4) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
True
4
proof
[(((((triple4) -> rule7) triple5) -> rule3))]
("Dave" "is" "young" "+")
((((triple4) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule5))]
("Fiona" "is" "smart" "-")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
True
5
proof
[(((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8))]
("Fiona" "is" "green" "+")
((triple8 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not green.
False
5
inv-proof
[(((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8))]
("Fiona" "is" "green" "-")
((triple8 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
True
6
proof
[(((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7))]
("Fiona" "is" "furry" "+")
((((triple8 ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is not furry.
False
6
inv-proof
[(((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7))]
("Fiona" "is" "furry" "-")
((((triple8 ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is young.
True
9
proof
[(((((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7) ((triple8) -> rule1)) -> rule3))]
("Fiona" "is" "young" "+")
((((((triple8 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is not young.
False
9
inv-proof
[(((((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7) ((triple8) -> rule1)) -> rule3))]
("Fiona" "is" "young" "-")
((((((triple8 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is furry.[(triple1 OR ((triple2) -> rule7))] Bob is green.[(triple2)] Bob is smart.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is not round.[(triple6)] Dave is smart.[(triple7 OR ((triple5) -> rule5))] Fiona is round.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Dave is furry.[(((triple4) -> rule7))] Fiona is nice.[(((triple8) -> rule1))] Gary is furry.[(((triple10) -> rule7))] @2: Dave is young.[(((((triple4) -> rule7) triple5) -> rule3))] Fiona is smart.[(((((triple8) -> rule1)) -> rule5))] @3: Fiona is green.[(((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8))] @4: Fiona is furry.[(((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7))] @5: Fiona is young.[(((((((triple8 ((((triple8) -> rule1)) -> rule5)) -> rule8)) -> rule7) ((triple8) -> rule1)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is not round.
("Dave" "is" "round" "-")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
((triple5) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple4) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple8) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple10) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple4) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((triple8 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple8 ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple8 ((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5