Bob is big. Bob is not blue. Bob is furry. Bob is rough. Bob is young. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is not young. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is not young. All big people are green. If someone is furry and blue then they are green. All green people are quiet. If Dave is big and Dave is not blue then Dave is rough. All blue people are big. Blue people are furry. If Fiona is quiet then Fiona is big. If someone is quiet and not furry then they are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and blue then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If Dave is big and Dave is not blue then Dave is rough.
((("Dave" "is" "big" "+") ("Dave" "is" "blue" "~")) -> ("Dave" "is" "rough" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is quiet then Fiona is big.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "big" "+"))
If someone is quiet and not furry then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Fiona is young.
False
1
inv-proof
[(triple16)]
("Fiona" "is" "young" "+")
triple16
Fiona is green.
True
2
proof
[(((triple13) -> rule1) OR ((((triple15) -> rule7)) -> rule1))]
("Fiona" "is" "green" "+")
((triple13) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Bob is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "green" "-")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not quiet.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "quiet" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is not blue.[(triple2)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6 OR ((triple7) -> rule5))] Dave is blue.[(triple7)] Dave is furry.[(triple8 OR ((triple7) -> rule6))] Dave is green.[(triple9 OR ((triple6) -> rule1) OR ((triple8 triple7) -> rule2) OR ((((triple7) -> rule5)) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule2))] Dave is not young.[(triple12)] Dave is quiet.[(triple10 OR ((triple9) -> rule3) OR ((((triple6) -> rule1)) -> rule3) OR ((((triple8 triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule5)) -> rule1)) -> rule3) OR ((((((triple7) -> rule6) triple7) -> rule2)) -> rule3))] Dave is rough.[(triple11)] Fiona is big.[(triple13 OR ((triple15) -> rule7))] Fiona is furry.[(triple14)] Fiona is not young.[(triple16)] Fiona is quiet.[(triple15 OR ((((triple13) -> rule1)) -> rule3))] @1: Bob is green.[(((triple1) -> rule1))] Fiona is green.[(((triple13) -> rule1) OR ((((triple15) -> rule7)) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
((triple7) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
((triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not young.
("Dave" "is" "young" "-")
triple12
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
((triple9) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple13
((triple15) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
Fiona is not young.
("Fiona" "is" "young" "-")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
((((triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple13) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2