Fiona is blue. Gary is big. Gary is blue. Harry is big. Harry is green. Harry is nice. Harry is white. If Gary is big then Gary is white. All blue things are nice. All nice, blue things are young.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Gary is big then Gary is white.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "white" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All nice, blue things are young.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Harry is not white.
False
1
inv-proof
[(triple7)]
("Harry" "is" "white" "-")
triple7
Fiona is nice.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "white" "-")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is blue.[(triple1)] Gary is big.[(triple2)] Gary is blue.[(triple3)] Harry is big.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)] @1: Fiona is nice.[(((triple1) -> rule2))] Gary is nice.[(((triple3) -> rule2))] Gary is white.[(((triple2) -> rule1))] @2: Fiona is young.[(((((triple1) -> rule2) triple1) -> rule3))] Gary is young.[(((((triple3) -> rule2) triple3) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2