Charlie is not blue. Charlie is kind. Charlie is not quiet. Charlie is not round. Dave is blue. Dave is not nice. Dave is young. Fiona is nice. Fiona is round. Fiona is young. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. Young, kind people are red. All blue, kind people are young. Young people are round.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not round.
("Charlie" "is" "round" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, kind people are red.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All blue, kind people are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "+")
triple11
Harry is not nice.
False
1
inv-proof
[(triple13)]
("Harry" "is" "nice" "-")
triple13
Harry is red.
True
3
proof
[(((triple16 triple12) -> rule1) OR ((((triple11 triple12) -> rule2) triple12) -> rule1))]
("Harry" "is" "red" "+")
((triple16 triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11 triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not red.
False
3
inv-proof
[(((triple16 triple12) -> rule1) OR ((((triple11 triple12) -> rule2) triple12) -> rule1))]
("Harry" "is" "red" "-")
((triple16 triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11 triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is kind.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple4)] Dave is blue.[(triple5)] Dave is not nice.[(triple6)] Dave is young.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9 OR ((triple10) -> rule3))] Fiona is young.[(triple10)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((triple16) -> rule3) OR ((((triple11 triple12) -> rule2)) -> rule3))] Harry is young.[(triple16 OR ((triple11 triple12) -> rule2))] @1: Dave is round.[(((triple7) -> rule3))] Harry is red.[(((triple16 triple12) -> rule1) OR ((((triple11 triple12) -> rule2) triple12) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple3
Charlie is not round.
("Charlie" "is" "round" "-")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is not nice.
("Dave" "is" "nice" "-")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple10) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple16) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple11 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple11 triple12) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple16 triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11 triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2