Charlie is red. Charlie is rough. Charlie is not smart. Charlie is white. Charlie is not young. Erin is blue. Erin is red. Erin is rough. Erin is white. Erin is young. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. If someone is young then they are rough. Rough, furry people are red. If someone is blue then they are white.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Rough, furry people are red.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Erin is young.
True
1
proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Fiona is not rough.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "rough" "-")
triple13
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is not smart.[(triple3)] Charlie is not young.[(triple5)] Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple4)] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8 OR ((triple10) -> rule1))] Erin is white.[(triple9 OR ((triple6) -> rule3))] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple11) -> rule3))] @1: Fiona is red.[(((triple13 triple12) -> rule2))]
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple10) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple6) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple11) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple13 triple12) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1