Fiona is blue. Fiona is green. Fiona is rough. Fiona is young. Gary is big. Gary is young. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is rough. Harry is young. If someone is big and not cold then they are young. If someone is green and nice then they are young. All blue, nice people are rough. Nice people are rough. All young, big people are green. If Harry is blue then Harry is young.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is big and not cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All blue, nice people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All young, big people are green.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Harry is blue then Harry is young.
((("Harry" "is" "blue" "+")) -> ("Harry" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple11)]
("Harry" "is" "rough" "+")
triple11
Harry is not rough.
False
1
inv-proof
[(triple11)]
("Harry" "is" "rough" "-")
triple11
Gary is green.
True
3
proof
[(((triple6 triple5) -> rule5))]
("Gary" "is" "green" "+")
((triple6 triple5) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule5))]
("Gary" "is" "green" "-")
((triple6 triple5) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is rough.[(triple3)] Fiona is young.[(triple4)] Gary is big.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10 OR ((triple12 triple7) -> rule5) OR ((((triple8) -> rule6) triple7) -> rule5))] Harry is rough.[(triple11)] Harry is young.[(triple12 OR ((triple8) -> rule6))] @1: Gary is green.[(((triple6 triple5) -> rule5))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple12 triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple8) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple8) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple5) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1