Erin is not big. Erin is blue. Erin is cold. Erin is smart. Fiona is big. Gary is cold. Gary is green. Gary is smart. Gary is not young. Harry is big. Harry is blue. Harry is young. If Fiona is not cold then Fiona is blue. If something is big then it is smart. If something is young then it is smart. If Erin is big then Erin is green. If something is smart and rough then it is not blue. If something is cold and not young then it is rough. If Erin is green then Erin is big. If Harry is cold and Harry is young then Harry is rough.
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If Fiona is not cold then Fiona is blue.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "blue" "+"))
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If Erin is big then Erin is green.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "green" "+"))
If something is smart and rough then it is not blue.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
If something is cold and not young then it is rough.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
If Erin is green then Erin is big.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "big" "+"))
If Harry is cold and Harry is young then Harry is rough.
((("Harry" "is" "cold" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "rough" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Erin is not smart.
False
1
inv-proof
[(triple4)]
("Erin" "is" "smart" "-")
triple4
Gary is rough.
True
3
proof
[(((triple6 triple9) -> rule6))]
("Gary" "is" "rough" "+")
((triple6 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple6 triple9) -> rule6))]
("Gary" "is" "rough" "-")
((triple6 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "green" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is not big.[(triple1)] Erin is smart.[(triple4)] Fiona is big.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is not young.[(triple9)] Gary is smart.[(triple8)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is young.[(triple12)] @1: Fiona is smart.[(((triple5) -> rule2))] Gary is rough.[(((triple6 triple9) -> rule6))] Harry is smart.[(((triple10) -> rule2) OR ((triple12) -> rule3))] @2: Gary is not blue.[(((triple8 ((triple6 triple9) -> rule6)) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not young.
("Gary" "is" "young" "-")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((triple8 ((triple6 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2