Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is green. Fiona is smart. Fiona is not young. Harry is big. Harry is not green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. All nice, young people are quiet. If someone is green then they are quiet.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All nice, young people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green then they are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Harry is big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Charlie is nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Fiona is quiet.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is green.[(triple1)] Charlie is not nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1) -> rule2))] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Fiona is green.[(triple6)] Fiona is not young.[(triple8)] Fiona is smart.[(triple7)] Harry is big.[(triple9)] Harry is nice.[(triple11)] Harry is not green.[(triple10)] Harry is quiet.[(triple12 OR ((triple11 triple15) -> rule1))] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Fiona is quiet.[(((triple6) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not young.
("Fiona" "is" "young" "-")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not green.
("Harry" "is" "green" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
((triple11 triple15) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1