Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is young. Harry is big. Harry is blue. Harry is red. Harry is young. If something is red then it is round. If something is round then it is nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Gary is blue.
True
1
proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Gary is not nice.
False
1
inv-proof
[(triple8 OR ((((triple10) -> rule1)) -> rule2))]
("Gary" "is" "nice" "-")
triple8
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is nice.
True
2
proof
[(((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is not round.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "round" "-")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is nice.
True
3
proof
[(((((triple14) -> rule1)) -> rule2))]
("Harry" "is" "nice" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not nice.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule2))]
("Harry" "is" "nice" "-")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is blue.[(triple1)] Fiona is quiet.[(triple2)] Fiona is red.[(triple3)] Fiona is round.[(triple4 OR ((triple3) -> rule1))] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8 OR ((((triple10) -> rule1)) -> rule2))] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Fiona is nice.[(((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Gary is round.[(((triple10) -> rule1))] Harry is round.[(((triple14) -> rule1))] @2: Harry is nice.[(((((triple14) -> rule1)) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
((triple3) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple14) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2