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