Charlie is cold. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Dave is quiet. Dave is not round. Erin is not round. Erin is white. Gary is not cold. Gary is white. Cold people are young. Quiet people are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not round.
("Dave" "is" "round" "-")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is white.
("Gary" "is" "white" "+")
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Charlie is smart.
True
1
proof
[(triple4)]
("Charlie" "is" "smart" "+")
triple4
Charlie is not young.
False
1
inv-proof
[(triple6 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]
("Charlie" "is" "young" "-")
triple6
((triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Dave is cold.
True
2
proof
[(((triple7) -> rule2))]
("Dave" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "cold" "-")
((triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("Dave" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("Dave" "is" "young" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Erin is young.
Unknown
rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Dave is not round.[(triple8)] Dave is quiet.[(triple7)] Erin is not round.[(triple9)] Erin is white.[(triple10)] Gary is not cold.[(triple11)] Gary is white.[(triple12)] @1: Dave is cold.[(((triple7) -> rule2))] @2: Dave is young.[(((((triple7) -> rule2)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Dave is not round.
("Dave" "is" "round" "-")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Erin is not round.
("Erin" "is" "round" "-")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Gary is not cold.
("Gary" "is" "cold" "-")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2