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