Dave is blue. Dave is kind. Dave is red. Dave is round. Erin is young. Fiona is red. Fiona is smart. Fiona is young. Gary is blue. Gary is red. All kind, blue things are smart. All red things are kind.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
All kind, blue things are smart.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Erin is young.
True
1
proof
[(triple5)]
("Erin" "is" "young" "+")
triple5
Fiona is not red.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "red" "-")
triple6
Gary is kind.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "kind" "+")
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "kind" "-")
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
True
4
proof
[(((((triple10) -> rule2) triple9) -> rule1))]
("Gary" "is" "smart" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((((triple10) -> rule2) triple9) -> rule1))]
("Gary" "is" "smart" "-")
((((triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule2))] Dave is red.[(triple3)] Dave is round.[(triple4)] Erin is young.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is red.[(triple10)] @1: Dave is smart.[(((triple2 triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1))] Fiona is kind.[(((triple6) -> rule2))] Gary is kind.[(((triple10) -> rule2))] @2: Gary is smart.[(((((triple10) -> rule2) triple9) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2