Anne is green. Anne is nice. Anne is red. Anne is white. Fiona is rough. Fiona is white. Gary is green. Gary is not young. Harry is big. Harry is green. Harry is rough. Harry is white. If someone is nice and red then they are green. Rough people are green. If Harry is rough and Harry is not white then Harry is nice. If Anne is big then Anne is nice. Rough people are not young. If someone is young and not big then they are red. If someone is green then they are red. If someone is red and big then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is nice and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Harry is rough and Harry is not white then Harry is nice.
((("Harry" "is" "rough" "+") ("Harry" "is" "white" "~")) -> ("Harry" "is" "nice" "+"))
If Anne is big then Anne is nice.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "nice" "+"))
Rough people are not young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
If someone is young and not big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Gary is not young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "-")
triple8
Harry is not white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "-")
triple12
Harry is red.
True
2
proof
[(((triple10) -> rule7) OR ((((triple11) -> rule2)) -> rule7))]
("Harry" "is" "red" "+")
((triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fiona is young.
False
2
inv-proof
[(((triple5) -> rule5))]
("Fiona" "is" "young" "+")
((triple5) -> (rule5 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is red.
True
3
proof
[(((((triple5) -> rule2)) -> rule7))]
("Fiona" "is" "red" "+")
((((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((((triple10) -> rule7) triple9) -> rule8) OR ((((((triple11) -> rule2)) -> rule7) triple9) -> rule8))]
("Harry" "is" "nice" "-")
((((triple10) -> (rule7 % int2)) triple9) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule7 % int2)) triple9) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is green.[(triple1 OR ((triple2 triple3) -> rule1))] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule7))] Anne is white.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Gary is green.[(triple7)] Gary is not young.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10 OR ((triple11) -> rule2))] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Fiona is green.[(((triple5) -> rule2))] Fiona is not young.[(((triple5) -> rule5))] Gary is red.[(((triple7) -> rule7))] Harry is not young.[(((triple11) -> rule5))] Harry is red.[(((triple10) -> rule7) OR ((((triple11) -> rule2)) -> rule7))] @2: Fiona is red.[(((((triple5) -> rule2)) -> rule7))] Harry is nice.[(((((triple10) -> rule7) triple9) -> rule8) OR ((((((triple11) -> rule2)) -> rule7) triple9) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not young.
("Gary" "is" "young" "-")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple5) -> (rule5 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple7) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is not young.
("Harry" "is" "young" "-")
((triple11) -> (rule5 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule7 % int2)) triple9) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule7 % int2)) triple9) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3