Bob is blue. Bob is not red. Dave is big. Dave is not blue. Dave is furry. Dave is nice. Dave is red. Dave is smart. Fiona is furry. Fiona is young. Blue things are not big. If Dave is big and Dave is not smart then Dave is not nice. If something is blue and not big then it is not young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not red.
("Bob" "is" "red" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Blue things are not big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
If Dave is big and Dave is not smart then Dave is not nice.
((("Dave" "is" "big" "+") ("Dave" "is" "smart" "~")) -> ("Dave" "is" "nice" "-"))
If something is blue and not big then it is not young.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "young" "-"))
Dave is not blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "-")
triple4
Dave is not furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "-")
triple5
Bob is not big.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "big" "-")
((triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "big" "+")
((triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is not young.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Bob" "is" "young" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2
Bob is young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Bob" "is" "young" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is blue.[(triple1)] Bob is not red.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is not blue.[(triple4)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is young.[(triple10)] @1: Bob is not big.[(((triple1) -> rule1))] @2: Bob is not young.[(((triple1 ((triple1) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is not blue.
("Dave" "is" "blue" "-")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Bob is not big.
("Bob" "is" "big" "-")
((triple1) -> (rule1 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is not young.
("Bob" "is" "young" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is not big.
("Bob" "is" "big" "-")
int2