Erin is green. Erin is quiet. Erin is not young. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Harry is not big. Harry is cold. Harry is not rough. If something is nice and not cold then it is not young. If something is cold then it is young. If something is quiet and big then it is rough. If Erin is cold then Erin is not nice. Nice things are big. Green, young things are big. All green things are nice. All quiet, rough things are green.
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
If something is nice and not cold then it is not young.
((("something" "is" "nice" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "-"))
If something is cold then it is young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is quiet and big then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If Erin is cold then Erin is not nice.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "nice" "-"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Green, young things are big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All quiet, rough things are green.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Harry is not rough.
True
1
proof
[(triple10)]
("Harry" "is" "rough" "-")
triple10
Harry is rough.
False
1
inv-proof
[(triple10)]
("Harry" "is" "rough" "+")
triple10
Gary is young.
True
2
proof
[(((triple5) -> rule2))]
("Gary" "is" "young" "+")
((triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("Gary" "is" "young" "-")
((triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
True
5
proof
[(((triple7 ((triple7 triple4) -> rule3)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule5)) -> rule3)) -> rule8))]
("Gary" "is" "green" "+")
((triple7 ((triple7 triple4) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple7 ((triple7 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not green.
False
5
inv-proof
[(((triple7 ((triple7 triple4) -> rule3)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule5)) -> rule3)) -> rule8))]
("Gary" "is" "green" "-")
((triple7 ((triple7 triple4) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple7 ((triple7 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is green.[(triple1)] Erin is not young.[(triple3)] Erin is quiet.[(triple2)] Gary is big.[(triple4 OR ((triple6) -> rule5))] Gary is cold.[(triple5)] Gary is nice.[(triple6 OR ((((triple7 ((triple7 triple4) -> rule3)) -> rule8)) -> rule7))] Gary is quiet.[(triple7)] Harry is cold.[(triple9)] Harry is not big.[(triple8)] Harry is not rough.[(triple10)] @1: Erin is nice.[(((triple1) -> rule7))] Gary is rough.[(((triple7 triple4) -> rule3) OR ((triple7 ((triple6) -> rule5)) -> rule3))] Gary is young.[(((triple5) -> rule2))] Harry is young.[(((triple9) -> rule2))] @2: Erin is big.[(((((triple1) -> rule7)) -> rule5))] Gary is green.[(((triple7 ((triple7 triple4) -> rule3)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule5)) -> rule3)) -> rule8))] @3: Erin is rough.[(((triple2 ((((triple1) -> rule7)) -> rule5)) -> rule3))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is not young.
("Erin" "is" "young" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple4
((triple6) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((((triple7 ((triple7 triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is not big.
("Harry" "is" "big" "-")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple4) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple7 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple7 triple4) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple7 ((triple7 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((triple2 ((((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3