Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is nice. Gary is quiet. If Gary is quiet then Gary is red. Smart, red people are furry. All furry people are smart. All furry people are smart. If someone is red then they are smart. All furry people are red. All quiet, red people are nice. If Charlie is big then Charlie is red.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Gary is quiet then Gary is red.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "red" "+"))
Smart, red people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
All quiet, red people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is big then Charlie is red.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "red" "+"))
Fiona is smart.
True
1
proof
[(triple13 OR ((triple12) -> rule5) OR ((triple8) -> rule3) OR ((triple8) -> rule4) OR ((((triple8) -> rule6)) -> rule5))]
("Fiona" "is" "smart" "+")
triple13
((triple12) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is not quiet.
False
1
inv-proof
[(triple15)]
("Gary" "is" "quiet" "-")
triple15
Gary is red.
True
2
proof
[(((triple15) -> rule1))]
("Gary" "is" "red" "+")
((triple15) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple15) -> rule1))]
("Gary" "is" "red" "-")
((triple15) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
True
3
proof
[(((((triple15) -> rule1)) -> rule5))]
("Gary" "is" "smart" "+")
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not smart.
False
3
inv-proof
[(((((triple15) -> rule1)) -> rule5))]
("Gary" "is" "smart" "-")
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
True
6
proof
[(((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule1)) -> rule2))]
("Gary" "is" "furry" "+")
((((((triple15) -> (rule1 % int3))) -> (rule5 % int2)) ((triple15) -> (rule1 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not furry.
False
6
inv-proof
[(((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule1)) -> rule2))]
("Gary" "is" "furry" "-")
((((((triple15) -> (rule1 % int3))) -> (rule5 % int2)) ((triple15) -> (rule1 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is furry.[(triple1 OR ((triple6 triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple4 triple5) -> rule7) OR ((triple4 ((triple1) -> rule6)) -> rule7))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule6))] Charlie is smart.[(triple6 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((triple5) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Fiona is big.[(triple7)] Fiona is furry.[(triple8 OR ((triple13 triple12) -> rule2) OR ((((triple12) -> rule5) triple12) -> rule2))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple11 triple12) -> rule7) OR ((triple11 ((triple8) -> rule6)) -> rule7))] Fiona is quiet.[(triple11)] Fiona is red.[(triple12 OR ((triple8) -> rule6))] Fiona is smart.[(triple13 OR ((triple12) -> rule5) OR ((triple8) -> rule3) OR ((triple8) -> rule4) OR ((((triple8) -> rule6)) -> rule5))] Gary is nice.[(triple14 OR ((triple15 ((triple15) -> rule1)) -> rule7))] Gary is quiet.[(triple15)] @1: Gary is red.[(((triple15) -> rule1))] @2: Gary is smart.[(((((triple15) -> rule1)) -> rule5))] @3: Gary is furry.[(((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule1)) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple6 triple5) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple5) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4 triple5) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple4 ((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple1) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple13 triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
((triple11 triple12) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple11 ((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
((triple12) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple14
((triple15 ((triple15) -> (rule1 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
((triple15) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((((triple15) -> (rule1 % int3))) -> (rule5 % int2)) ((triple15) -> (rule1 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3