Charlie is big. Charlie is blue. Charlie is kind. Charlie is smart. Charlie is young. Erin is blue. Erin is white. Fiona is smart. Fiona is not white. Fiona is not young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is not white. If Harry is kind then Harry is young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Harry is kind then Harry is young.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "smart" "-")
triple8
Harry is young.
True
2
proof
[(((triple13) -> rule1))]
("Harry" "is" "young" "+")
((triple13) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple13) -> rule1))]
("Harry" "is" "young" "-")
((triple13) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is blue.[(triple6)] Erin is white.[(triple7)] Fiona is not white.[(triple9)] Fiona is not young.[(triple10)] Fiona is smart.[(triple8)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is not white.[(triple15)] @1: Harry is young.[(((triple13) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is young.
("Harry" "is" "young" "+")
((triple13) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1