Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is young. Rough, kind things are quiet. Kind, quiet things are smart. If something is quiet and kind then it is rough. All nice, kind things are quiet. If Fiona is rough and Fiona is young then Fiona is round. If something is rough then it is round. All kind, rough things are nice. If Harry is round then Harry is nice.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough, kind things are quiet.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Kind, quiet things are smart.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is quiet and kind then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All nice, kind things are quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is rough and Fiona is young then Fiona is round.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
All kind, rough things are nice.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Harry is round then Harry is nice.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "nice" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Harry is not nice.
False
1
inv-proof
[(triple6 OR ((((triple8) -> rule6)) -> rule8))]
("Harry" "is" "nice" "-")
triple6
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
True
2
proof
[(((triple8) -> rule6))]
("Harry" "is" "round" "+")
((triple8) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple3) -> rule6) OR ((triple3 triple5) -> rule5))]
("Fiona" "is" "round" "-")
((triple3) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3 triple5) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Fiona is young.[(triple5)] Harry is nice.[(triple6 OR ((((triple8) -> rule6)) -> rule8))] Harry is quiet.[(triple7)] Harry is rough.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Fiona is round.[(((triple3) -> rule6) OR ((triple3 triple5) -> rule5))] Harry is round.[(((triple8) -> rule6))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3 triple5) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1